AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)

Name: Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
Brand: Armin Biere
SKU: 2691517

Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 911, publicationDate : 2014-08-04, publishers : Armin Biere, Roderick Bloem, ISBN : 3319088661

1 Angebote · ab 105,94 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)