AKTUELLE PARTNERANGEBOTE

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

Brand : Springer, Binding : Taschenbuch, Edition : 1990, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 396, publicationDate : 2008-06-13, authors : Joseph Sifakis, ISBN : 3540521488

2 Angebote · ab 53,49 € gemeldete Gesamtkosten