Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computer Aided Verification

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Sharon Shoham
Libristo-code: 39439333
Uitgeverij Springer International Publishing AG, augustus 2022
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Volledige beschrijving
? points 100 b
41.37 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Boek Gebonden (paperback)
common.buy 35.71 €
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Boek Gebonden (paperback)
common.buy 4.75 €
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Boek Gebonden (paperback)
common.buy 14.05 €
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Boek Gebonden (paperback)
common.buy 14.16 €
Elven Anna Fiske / Boek Gebonden (harde band)
common.buy 34.90 €
Psychische Gewalt in der Erziehung / Boek Gebonden (paperback)
common.buy 14.46 €
LEGO Ninjago (CD 46) / Audio Audio cd
common.buy 7.58 €
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Boek Gebonden (paperback)
common.buy 66.87 €
Wenn dies die Zeit ist Vladimir Zarev / Boek Gebonden (harde band)
common.buy 17.19 €
TOP
Paul, Lisa & Co. Monika Bovermann / Boek Gebonden (paperback)
common.buy 10.82 €
Fuhrungsinformationen aus dem World Wide Web Maik Discher / Boek Gebonden (paperback)
common.buy 33.99 €
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Boek Gebonden (paperback)
common.buy 25.89 €
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Boek Gebonden (paperback)
common.buy 16.18 €
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Boek Gebonden (paperback)
common.buy 61.30 €
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Boek Gebonden (paperback)
common.buy 37.43 €
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Boek Gebonden (paperback)
common.buy 13.65 €
Personenschutz - kompakt und effektiv Steve Tompson / Boek Gebonden (harde band)
common.buy 80.02 €
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Boek Gebonden (paperback)
common.buy 32.27 €
La vuelta al mundo en 80 días Jules Verne / Boek Gebonden (paperback)
common.buy 12.64 €
Mujeres del Nuevo Testamento Pia Septien / Boek Gebonden (paperback)
common.buy 9.20 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Aided Verification
Auteur Sharon Shoham, Yakir Vizel
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2022
Aantal pagina's 549
EAN 9783031131875
Libristo-code 39439333
Uitgeverij Springer International Publishing AG
Gewicht 866
Afmetingen 155 x 235 x 31

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Women in Sports Amelia S Halloway / Boek Gebonden (harde band)
common.buy 190.81 €
TOP
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Boek Gebonden (paperback)
common.buy 7.78 €
Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Boek Gebonden (paperback)
common.buy 29.63 €
Black Box Captain Terrance W MacDonald / Boek Gebonden (paperback)
common.buy 21.24 €
Transgenic Crop Plants Albert G. Abbott / Boek Gebonden (paperback)
common.buy 205.79 €
TOP
One Piece, Vol. 76 Eiichiro Oda / Boek Gebonden (paperback)
common.buy 8.39 €
Aquaculture John S. Lucas / Boek Gebonden (harde band)
common.buy 130.00 €
TOP
Harry Potter Colouring Book neuvedený autor / Boek Gebonden (paperback)
common.buy 10.41 €
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Boek Gebonden (harde band)
common.buy 39.25 €
Islands of the Damned R. V. Burgin / Boek Gebonden (paperback)
common.buy 15.77 €
TOP
The Hating Game Sally Thorne / Boek Gebonden (paperback)
common.buy 10.11 €
History of Europe During the French Revolution Archibald Alison / Boek Gebonden (harde band)
common.buy 45.82 €
Blood Surfer Debra Jess / Boek Gebonden (paperback)
common.buy 15.77 €
I, Siglavy LISBETH ASAY / Boek Gebonden (paperback)
common.buy 13.75 €
TOP
Stranger Things: Suspicious Minds Gwenda Bond / Boek Gebonden (paperback)
common.buy 10.41 €
TOP
Braiding Sweetgrass Robin Wall Kimmerer / Boek Gebonden (paperback)
common.buy 12.23 €
TOP
Oracle of the 7 Energies Colette Baron-Reid / Drukwerk Speelkaarten
common.buy 23.16 €
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Boek Gebonden (harde band)
common.buy 154.39 €
TOP
Better Than the Movies Lynn Painter / Boek Gebonden (paperback)
common.buy 10.61 €
Demon in the Wood Leigh Bardugo / Boek Gebonden (harde band)
common.buy 15.98 €
Ultimate Hits - 2 CD Rod Stewart / Audio Audio cd
common.buy 18.51 €
Curiosities of Superstition and Sketches of Some Unrevealed Religions (1882) W. H. Davenport Adams / Boek Gebonden (paperback)
common.buy 30.75 €
Law, Life and Laughter Irvine Smth / Boek Gebonden (paperback)
common.buy 10.41 €
Veterinary Forensics Melinda D Merck / Boek Gebonden (paperback)
common.buy 105.01 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken