AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)

Name: Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)
Brand: Pierre Wolper
SKU: 8951287

Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 468, publicationDate : 2008-06-13, authors : Pierre Wolper, languages : english, ISBN : 3540600450

1 Angebote · ab 49,98 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)