AKTUELLE PARTNERANGEBOTE

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Name: Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Klaus Schneider
SKU: 9293078

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2004, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 620, publicationDate : 2010-02-19, authors : Klaus Schneider, ISBN : 3642055559

1 Angebote · ab 51,98 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)