Zeitliche Überprüfung reaktiver Systeme: Sicherheit von Manna, Sohar
41,47 €
Authors : Manna, Zohar. Temporal Verification of Reactive Systems: Safety. Title : Temporal Verification of Reactive Systems: Safety. We aim to provide a vast range of textbooks, rare and collectible books at a great price.
Jetzt bei Ebay:
