AKTUELLE PARTNERANGEBOTE

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Name: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Brand: Hailpern, B. T.
SKU: 8947795

Brand : Springer, Binding : Taschenbuch, Edition : 1982, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 224, publicationDate : 2008-06-13, authors : Hailpern, B. T., ISBN : 3540112057

1 Angebote · ab 41,52 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Finde das Produkt,
das wirklich zu dir passt.