Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer
SKU: 41041879
Price: 62.59 EUR
Availability: InStock
Author: Rupak Majumdar
ISBN: 9783319633879

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Rupak Majumdar

Viktor Kuncak

Langue

Anglais

Livre numérique Adobe ePub DRM

Code Libristo: 41041879

Éditeurs Springer, juillet 2017

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Inter... Description détaillée

Code Libristo: 41041879

153 b

62.59 € TVA incluse

En stock Immédiatement téléchargeable

Les clients ont également acheté

Russische Poesie in deutschen UEbersetzungen Ilya Perelmuter

Livre de poche

49.00 €

La nature - le vicaire des principes essentiels de la gestion d'entreprise S. Ranganathan

Livre de poche

33.59 €

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.