Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science - Joseph Sifakis - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540521488 - 10. januar 1990
Ved uoverensstemmelse mellem cover og titel gælder titel

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.325

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 10. januar 1990
ISBN13 9783540521488
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 384
Mål 155 × 233 × 20 mm   ·   557 g
Sprog Tysk  
Klipper/redaktør Sifakis, Joseph
Vis alle

Mere med Joseph Sifakis

Se alt med Joseph Sifakis ( f.eks. Paperback Bog og Hardcover bog )