AKTUELLE PARTNERANGEBOTE

Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1354, Band 1354)

Name: Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1354, Band 1354)
Brand: Olaf Burkart
SKU: 5607906

Brand : Springer, Binding : Taschenbuch, Edition : 1, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 180, publicationDate : 1997-12-17, releaseDate : 1997-12-17, authors : Olaf Burkart, ISBN : 3540639829

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1354, Band 1354)

Finde das Produkt,
das wirklich zu dir passt.