Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
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
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Computer Aided Verification

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Rupak Majumdar
Code Libristo: 16495653
Éditeurs Springer International Publishing AG, juillet 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

La vie rêvée du Post-partum Caroline Michel Livre Livre de poche
common.buy 25.99 €
??????????? ?? ???(?????)? ????: ?? - Affe. ???? ?? ???? ColinHann / Livre numérique Adobe ePub DRM
common.buy 1.09 €
Lone Survivor (Original Motion Picture Soundtrack) / Audio CD Audio
common.buy 19.99 €
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Livre Livre de poche
common.buy 36.69 €
PHDA na pratica Rui Pedro Ribeiro / Livre numérique Adobe ePub DRM
common.buy 9.19 €
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Livre Livre de poche
common.buy 74.00 €
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Livre Livre de poche
common.buy 7.19 €
PASSACAILLE --- GUITARE KLEYNJANS FRANCIS Livre binding.
common.buy 13.39 €
One Piece 95 Antje Bockel / Livre Livre de poche
common.buy 7.50 €
Comment Jouer Au Golf VARDON-H / Livre Livre de poche
common.buy 20.99 €
Leonor Merimee (1757-1836) Gaston Pinet / Livre Livre de poche
common.buy 17.49 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Computer Aided Verification
Auteur Rupak Majumdar, Viktor Kuncak
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2017
Nombre de pages 601
EAN 9783319633862
ISBN 3319633864
Code Libristo 16495653
Éditeurs Springer International Publishing AG
Poids 9299
Dimensions 155 x 235 x 35

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark / Livre Livre de poche
common.buy 8.39 €
Storm Makers Jennifer E. Smith / Livre Livre de poche
common.buy 17.89 €
Walkertown Area Historical Society Walkertown / Livre Livre de poche
common.buy 20.49 €
Doberman Pinschers Christina Leighton / Livre Livre relié
common.buy 34.19 €
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Livre Livre relié
common.buy 31.79 €
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Livre Livre de poche
common.buy 206.69 €
First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson / Livre Livre de poche
common.buy 43.49 €
Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Livre Livre de poche
common.buy 7.99 €
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Livre Livre de poche
common.buy 51.99 €
The Story of King Arthur and His Knights Howard Pyle / Livre Livre de poche
common.buy 14.19 €
Hizballah Shimon Shapira / Livre Livre de poche
common.buy 57.49 €
Rutherford College Catalog; 1924-1925 Rutherford College / Livre Livre de poche
common.buy 19.09 €
The Unofficial Disney Parks Cookbooks Boxed Set: The Unofficial Disney Parks Cookbook, the Unofficial Disney Parks EPCOT Cookbook, the Unofficial Disn Craft / Livre Livre relié
common.buy 38.89 €
Top
The Hurricane Wars GUANZON THEA / Livre Livre de poche
common.buy 14.99 €
Blue Room David Hare / Livre Livre de poche
common.buy 12.49 €
Mobile Genetic Elements Yves Bigot / Livre Livre relié
common.buy 105.09 €
Methods Of Qualitative Theory In Nonlinear Dynamics (Part Ii) Leonid Shilnikov / Livre Livre relié
common.buy 189.29 €
What You Don't Know Will Hurt You Denise Skarbek / Livre Livre relié
common.buy 121.29 €
Computer Architecture Gerard Blanchet / Livre Livre relié
common.buy 147.49 €
International Negotiations, Student's Book w. 2 Audio-CDs Mark Powell / Livre Livre de poche
common.buy 48.49 €
Neural Computing - An Introduction T. Jackson / Livre Livre de poche
common.buy 95.89 €
Auld Sod David Edson / Livre Livre de poche
common.buy 16.49 €
Personal Math Companion Marsha P Smith / Livre Livre relié
common.buy 28.39 €
Food Wars Mairi McLellan / Livre Livre relié
common.buy 39.09 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?