Susanne Graf (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 6TH INTERNATIONAL CONFERENCE, TACAS 2000 HELD AS PART OF THE

Tekijä: Susanne Graf (ed.); Michael Schwartzbach (ed.)
Kustantaja: Springer (2000)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

MODEL CHECKING SOFTWARE : 11TH INTERNATIONAL SPIN WORKSHOP, BARCELONA, SPAIN, APRIL 1-3, 2004, PROCEEDINGS

Tekijä: Susanne Graf (ed.); Laurent Mounier (ed.)
Kustantaja: Springer (2004)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FORMAL METHODS FOR COMPONENTS AND OBJECTS : FIRST INTERNATIONAL SYMPOSIUM, FMCO 2002, LEIDEN, THE NETHERLANDS, NOVEMBER 5-8, 200

Tekijä: Frank S.de Boer (ed.); Marcello Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2003)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FORMAL METHODS FOR COMPONENTS AND OBJECTS : SECOND INTERNATIONAL SYMPOSIUM, FMCO 2003, LEIDEN, THE NETHERLANDS, NOVEMBER 4-7, 20

Tekijä: Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2004)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FORMAL METHODS FOR COMPONENTS AND OBJECTS : 4TH INTERNATIONAL SYMPOSIUM, FMCO 2005, AMSTERDAM, THE NETHERLANDS, NOVEMBER 1-4, 20

Tekijä: Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.)
Kustantaja: Springer (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

VALUATION AND CONSERVATION OF BIODIVERSITY : INTERDISCIPLINARY PERSPECTIVES ON THE CONVENTION ON BIOLOGICAL DIVERSITY

Tekijä: Michael Markussen (ed.); Ralph Buse (ed.); Heiko Garrelts (ed.); María Manez Costa (ed.); Susanne Menzel (ed.); R Marggraf
Kustantaja: Springer (2005)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

VALUATION AND CONSERVATION OF BIODIVERSITY : INTERDISCIPLINARY PERSPECTIVES ON THE CONVENTION ON BIOLOGICAL DIVERSITY

Tekijä: Michael Markussen (ed.); Ralph Buse (ed.); Heiko Garrelts (ed.); María Manez Costa (ed.); Susanne Menzel (ed.); R Marggraf
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS : 35TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FORTE 2015, HELD

Tekijä: Susanne Graf (ed.); Mahesh Viswanathan (ed.)
Kustantaja: Springer (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the

Susanne Graf (ed.), Michael Schwartzbach (ed.)

97,90 €

Springer
Sivumäärä: 552 sivua
Asu: Pehmeäkantinen kirja
Painos: 2000
Julkaisuvuosi: 2000, 15.03.2000 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.
The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus