AKTUELLE PARTNERANGEBOTE

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)

Name: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Brand: Kurshan, Robert P.
SKU: 12196805

Brand : Princeton University Press, Binding : Gebundene Ausgabe, Label : Princeton University Press, Publisher : Princeton University Press, medium : Gebundene Ausgabe, numberOfPages : 284, publicationDate : 2016-04-19, releaseDate : 2016-04-19, authors : Kurshan, Robert P., ISBN : 0691634890

1 Angebote · ab 172,00 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)