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: 16495654
É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é

SILAS MARNER Eliot / Livre Livre de poche
common.buy 21.49 €
Uppgiften - erotiska noveller Cupido / Livre audio MP3
common.buy 3.39 €
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Livre Livre de poche
common.buy 40.99 €
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Livre Livre de poche
common.buy 11.49 €
Pilzen begegnen Hans Manhart / Livre Livre de poche
common.buy 26.00 €
Conexiones FERNANDEZ FRAGA / Livre Livre de poche
common.buy 27.39 €
Puzzle Hello Kitty 1000 dílků / Jeu/jouet Puzzle
common.buy 7.59 €
Torba bawełniana Wściekłe Wieszcze ecru / Livre binding.
common.buy 19.39 €
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Livre Livre de poche
common.buy 37.29 €
Arts Chimiques: Industrie Du Tabac (1867) Louis Grandeau / Livre Livre de poche
common.buy 20.99 €
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Livre Livre de poche
common.buy 21.99 €
Ripios Geográficos Antonio De Valbuena / Livre Livre de poche
common.buy 24.89 €
Praxisphasen in der Lehrerbildung Axel Knüppel / Livre Livre de poche
common.buy 32.79 €
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio CD Audio
common.buy 19.59 €
Organisation von Systemen Bernhard Waszkewitz / Livre Livre de poche
common.buy 46.69 €
Geschichte der Freundschaft Michael Roes / Livre Livre relié
common.buy 24.59 €
Amanda Und Eduard Sophie Mereau / Livre Livre de poche
common.buy 12.90 €
Geschichte eines Vampirs Thomas Neumann / Livre Livre de poche
common.buy 9.90 €
Das Geschworenengericht in der attischen Demokratie Verena Nöckel / Livre Livre de poche
common.buy 15.95 €
Soldaten Sönke Neitzel / Livre Livre de poche
common.buy 22.00 €

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 623
EAN 9783319633893
ISBN 3319633899
Code Libristo 16495654
Éditeurs Springer International Publishing AG
Poids 9591
Dimensions 155 x 235 x 36

Catégories

Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Programmation informatique / génie logiciel
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

Portland Walter Fortner / Livre Livre de poche
common.buy 21.89 €
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Livre Livre de poche
common.buy 6.49 €
How to Make Historic American Costumes Mary Evans / Livre Livre relié
common.buy 41.59 €
Top
Shikimori's Not Just a Cutie 12 V12 / Livre Livre de poche
common.buy 11.39 €
Layman's Notebook Lester J Forrester / Livre Livre de poche
common.buy 11.19 €
Top
The Land of Stories Set Chris Colfer / Livre Livre de poche
common.buy 47.39 €
Top
Statistics without Tears Derek Rowntree / Livre Livre de poche
common.buy 12.49 €
Great Whiskies DK / Livre Livre relié
common.buy 16.89 €
Jesus Arise in this Nation: Prayer Book O'Neil Brown / Livre Livre de poche
common.buy 6.69 €
Commonsense Shotgun Shooting with Fred Etchen Fred Etchen / Livre Livre relié
common.buy 42.59 €
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Livre Livre de poche
common.buy 16.39 €
HOUGHTON MIFFLIN MATHMATICS Houghton Mifflin Company / Livre Livre de poche
common.buy 48.39 €
Word Study in the Inclusive Secondary Classroom Melinda Leko / Livre Livre relié
common.buy 79.89 €
Holiday Heaven Cupido / Livre audio MP3
common.buy 4.19 €
Dr. Cocktail Alex Ott / Livre Livre relié
common.buy 14.49 €
Art Maker Cozy Coloring Around Town / Livre Livre de poche
common.buy 11.19 €
Midnight on the Moon Graphic Novel Kelly Matthews / Livre Livre relié
common.buy 14.99 €
Microstructure Atlas of P22 Steel Rajat K. Roy / Livre Livre de poche
common.buy 150.19 €
Top
Development As Freedom Amartya Kumar Sen / Livre Livre de poche
common.buy 16.69 €
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Livre Livre de poche
common.buy 53.79 €
Ibn Rushd (Averroes) Dominique Urvoy / Livre Livre relié
common.buy 194.39 €
Confirmation Wars Benjamin Wittes / Livre Livre de poche
common.buy 21.89 €
RNA Biology - An Introduction Gunter Meister / Livre Livre de poche
common.buy 74.69 €
Nick's First Holiday Celebration Linda Sicks / Livre Livre relié
common.buy 18.39 €

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 ?