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.

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Libristo-code: 38504817
Uitgeverij Springer Nature Switzerland AG, januari 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Volledige beschrijving
? points 224 b
92.64 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Boek Gebonden (paperback)
common.buy 8.38 €
Lo que debe saber todo buen republicano Anónimo / Boek Gebonden (paperback)
common.buy 15.85 €
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Boek Gebonden (paperback)
common.buy 16.16 €
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Boek Gebonden (harde band)
common.buy 73.34 €
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Boek Gebonden (paperback)
common.buy 19.29 €
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Boek Gebonden (harde band)
common.buy 51.42 €
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Boek Gebonden (harde band)
common.buy 63.24 €
Der tolle Bomberg, 1 DVD Rolf Thiele / Video Dvd
common.buy 22.72 €
Le préfet et les collectivités Sut / Boek Gebonden (paperback)
common.buy 81.72 €

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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 Verification, Model Checking, and Abstract Interpretation
Auteur Bernd Finkbeiner, Thomas Wies
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2022
Aantal pagina's 520
EAN 9783030945824
Libristo-code 38504817
Uitgeverij Springer Nature Switzerland AG
Gewicht 807
Afmetingen 155 x 235 x 29

Categorieën

Informatica en informatietechnologie > Informatica
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

Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Boek Gebonden (harde band)
common.buy 154.16 €
TOP
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Boek Gebonden (paperback)
common.buy 15.75 €
Joy of Basketball Andrew Kuo / Boek Gebonden (harde band)
common.buy 38.48 €
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Boek Gebonden (paperback)
common.buy 24.74 €
Zombies vs. Robots 2 Joe Cautilli / Boek Gebonden (paperback)
common.buy 15.75 €
STORY OF THE 2ND WW Henry Steele Commager / Boek Gebonden (paperback)
common.buy 17.17 €
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Boek Gebonden (paperback)
common.buy 11.51 €
Neufs Vies Du Chat Montezuma Michael Morpurgo / Boek Gebonden (paperback)
common.buy 9.29 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?