AKTUELLE PARTNERANGEBOTE

Temporal Verification of Reactive Systems: Safety

Name: Temporal Verification of Reactive Systems: Safety
Brand: Zohar Manna
SKU: 9313473

Binding : Gebundene Ausgabe, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 512, publicationDate : 1995-08-01, authors : Zohar Manna, Amir Pnueli, ISBN : 0387944591

1 Angebote · ab 82,67 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Temporal Verification of Reactive Systems: Safety

Finde das Produkt,
das wirklich zu dir passt.