AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633, Band 1633)

Name: Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633, Band 1633)
Brand: Nicolas Halbwachs
SKU: 8951969

Brand : Springer, Binding : Taschenbuch, Edition : 1999, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 526, publicationDate : 2008-10-10, publishers : Nicolas Halbwachs, ISBN : 3540662022

1 Angebote · ab 53,49 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633, Band 1633)