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

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Sharon Shoham
Code Libristo: 39439333
Éditeurs Springer International Publishing AG, août 2022
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Description détaillée
? points 105 b
43.09 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Top
Paul, Lisa & Co. Monika Bovermann / Livre Livre de poche
common.buy 12.50 €
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Livre Livre de poche
common.buy 4.99 €
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Livre Livre de poche
common.buy 15.95 €
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Livre Livre de poche
common.buy 14.69 €
Psychische Gewalt in der Erziehung Katharina Hofer / Livre Livre de poche
common.buy 15.95 €
LEGO Ninjago (CD 46) / Audio CD Audio
common.buy 7.59 €
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Livre Livre de poche
common.buy 69.09 €
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Livre Livre de poche
common.buy 39.99 €
Wenn dies die Zeit ist Vladimir Zarev / Livre Livre relié
common.buy 19.00 €
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Livre Livre de poche
common.buy 33.09 €
Fuhrungsinformationen aus dem World Wide Web Maik Discher / Livre Livre de poche
common.buy 38.00 €
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Livre Livre de poche
common.buy 28.90 €
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Livre Livre de poche
common.buy 64.99 €
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Livre Livre de poche
common.buy 36.99 €
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Livre Livre de poche
common.buy 17.95 €
Personenschutz - kompakt und effektiv Steve Tompson / Livre Livre relié
common.buy 89.90 €
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Livre Livre de poche
common.buy 14.19 €
Mujeres del Nuevo Testamento Pia Septien / Livre Livre de poche
common.buy 9.59 €
La vuelta al mundo en 80 días Jules Verne / Livre Livre de poche
common.buy 12.99 €

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

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 Sharon Shoham, Yakir Vizel
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2022
Nombre de pages 549
EAN 9783031131875
Code Libristo 39439333
Éditeurs Springer International Publishing AG
Poids 866
Dimensions 155 x 235 x 31

Catégories

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

Women in Sports Amelia S Halloway / Livre Livre relié
common.buy 188.59 €
Blood Surfer Debra Jess / Livre Livre de poche
common.buy 16.39 €
Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Livre Livre de poche
common.buy 36.09 €
Black Box Captain Terrance W MacDonald / Livre Livre de poche
common.buy 21.99 €
Transgenic Crop Plants Albert G. Abbott / Livre Livre de poche
common.buy 214.29 €
Top
One Piece, Vol. 76 Eiichiro Oda / Livre Livre de poche
common.buy 9.89 €
Aquaculture John S. Lucas / Livre Livre relié
common.buy 134.59 €
History of Europe During the French Revolution Archibald Alison / Livre Livre relié
common.buy 47.49 €
Top
Harry Potter Colouring Book neuvedený autor / Livre Livre de poche
common.buy 11.09 €
Islands of the Damned R. V. Burgin / Livre Livre de poche
common.buy 16.59 €
Top
The Hating Game Sally Thorne / Livre Livre de poche
common.buy 10.69 €
Top Abordable
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Livre Livre de poche
common.buy 5.69 €
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Livre Livre relié
common.buy 40.69 €
I, Siglavy LISBETH ASAY / Livre Livre de poche
common.buy 14.19 €
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Livre Livre de poche
common.buy 51.19 €
Top
Stranger Things: Suspicious Minds Gwenda Bond / Livre Livre de poche
common.buy 11.09 €
Top
Braiding Sweetgrass Robin Wall Kimmerer / Livre Livre de poche
common.buy 12.99 €
Top
Oracle of the 7 Energies Colette Baron-Reid / Articles imprimés Cartes
common.buy 24.29 €
Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward / Livre Livre de poche
common.buy 43.59 €
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Livre Livre relié
common.buy 160.89 €
Top
Better Than the Movies Lynn Painter / Livre Livre de poche
common.buy 11.19 €
Top
Demon in the Wood Leigh Bardugo / Livre Livre relié
common.buy 16.89 €
Ultimate Hits - 2 CD Rod Stewart / Audio CD Audio
common.buy 18.29 €
Biography Nigel Hamilton / Livre Livre de poche
common.buy 32.79 €

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 ?