Fortell venner om denne varen:
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
Pris
Mex$ 1.064
Bestillingsvarer
Forventes levert 10. - 18. jul
Legg til iMusic ønskeliste
Eller
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
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 10. januar 1990 |
| ISBN13 | 9783540521488 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 384 |
| Mål | 155 × 233 × 20 mm · 557 g |
| Språk | Tysk |
| Redaktør | Sifakis, Joseph |
![Cover for Joseph Sifakis · Understanding and Changing the World: From Information to Knowledge and Intelligence (Pocketbok) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/985/9789811919985.jpg?joseph-sifakis-2023-understanding-and-changing-the-world-from-information-to-knowledge-and-intelligence-pocketbok&class=scaled&v=1692869265)
![Cover for Joseph Sifakis · Understanding and Changing the World: From Information to Knowledge and Intelligence (Innbunden bok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/312/9789811919312.jpg?joseph-sifakis-2022-understanding-and-changing-the-world-from-information-to-knowledge-and-intelligence-innbunden-bok&class=scaled&v=1655916225)
