Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science - Joseph Sifakis - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540521488 - keskiviikko 10. tammikuuta 1990
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

Joseph Sifakis

Hinta
£ 44,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 16. - 24. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems.

384 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 10. tammikuuta 1990
ISBN13 9783540521488
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 384
Mitta 155 × 233 × 20 mm   ·   557 g
Kieli German  
Toimittaja Sifakis, Joseph
Näytä kaikki

Lisää tuotteita Joseph Sifakis

Katso kaikki joka sisältää Joseph Sifakis ( Esim. Paperback Book Ja Hardcover Book )