Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science - Armin Biere - Livres - Springer International Publishing AG - 9783319088662 - 4 août 2014
Si la couverture et le titre ne correspondent pas, le titre est correct.

Armin Biere
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

Prix
€ 97,49

Commandé depuis un entrepôt distant

Livraison prévue 1 - 9 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

911 pages, 205 black & white illustrations, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 4 août 2014
ISBN13 9783319088662
Éditeurs Springer International Publishing AG
Pages 877
Dimensions 155 × 235 × 46 mm   ·   1,25 kg
Langue et grammaire Allemand  
Éditeur Biere, Armin
Éditeur Bloem, Roderick

Plus par Armin Biere

Afficher tout

Voir tous les Armin Biere ( par ex. Paperback Book et Hardcover Book )