AKTUELLE PARTNERANGEBOTE

Temporal Verification of Reactive Systems: Safety

Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 536, publicationDate : 2012-08-22, releaseDate : 2012-08-22, authors : Zohar Manna, ISBN : 1461287014

2 Angebote · ab 111,24 € gemeldete Gesamtkosten