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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Constantin Enea
Libristo-code: 21040880
Uitgeverij Springer Nature Switzerland AG, januari 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Volledige beschrijving
? points 125 b
51.76 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

One Piece Color Walk - Tome 09 Eiichiro Oda / Boek Gebonden (paperback)
common.buy 30.58 €
Gefühle Wimmelbuch Alexandra Helm / Boek Leporello (harmonicaboek)
common.buy 11.74 €
Kníhkupectvo nových začiatkov Jenny Colgan / Boek Gebonden (harde band)
common.buy 21.37 €
Nobody’s girl. La mia storia di sopravvivenza in nome della giustizia. Il caso Epstein Virginia Roberts Giuffre / Boek Gebonden (paperback)
common.buy 24.81 €
Football - The Ultimate Book Bernd Pohlenz / Boek Gebonden (harde band)
common.buy 56.01 €
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Boek Gebonden (paperback)
common.buy 16.50 €
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Boek Gebonden (paperback)
common.buy 14.48 €
Dragon Ball Serie Roja nº 282 Akira Toriyama / Boek Gebonden (paperback)
common.buy 4.65 €
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Boek Gebonden (harde band)
common.buy 24.51 €
Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 14.78 €
Respira James Nestor / Boek Gebonden (paperback)
common.buy 12.05 €
Polednice Plešatá palice H:o)nza Vojtko / Boek Gebonden (paperback)
common.buy 10.93 €
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Boek Gebonden (paperback)
common.buy 20.96 €
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Boek Gebonden (paperback)
common.buy 77.18 €
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Boek Gebonden (harde band)
common.buy 89.34 €
Zermatt / Boek Gebonden (paperback)
common.buy 12.96 €
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digitaal Digitaal cd
common.buy 130.98 €
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Boek Gebonden (paperback)
common.buy 32.10 €
Correspondances D'Alger 1962 Didier Robert-Ales / Boek Gebonden (paperback)
common.buy 62.90 €
Mandy Birgit Zaczek / Boek Gebonden (paperback)
common.buy 5.66 €
Actividades de animación para la tercera edad Jacques Choque / Boek Gebonden (paperback)
common.buy 31.60 €
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Boek Gebonden (paperback)
common.buy 25.72 €
Contratiempos Kahane / Boek Gebonden (paperback)
common.buy 13.77 €
Schule für kleine Trommel Felix Dierkes / Boek Gebonden (paperback)
common.buy 37.88 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

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 Constantin Enea, Ruzica Piskac
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2019
Aantal pagina's 602
EAN 9783030112448
ISBN 3030112446
Libristo-code 21040880
Uitgeverij Springer Nature Switzerland AG
Gewicht 937
Afmetingen 155 x 235 x 235

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
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

Environmental Policymaking in an Era of Climate Change NOWLIN / Boek Gebonden (paperback)
common.buy 61.79 €
A Short History Of England (1917) G. K. Chesterton / Boek Gebonden (paperback)
common.buy 28.86 €
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Boek Gebonden (harde band)
common.buy 30.79 €
Shootist: A Classic Western Glendan Swarthout / Luisterboek MP3
common.buy 3.54 €
Istanbul Bettany Hughes / Boek Gebonden (paperback)
common.buy 19.24 €
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Boek Gebonden (paperback)
common.buy 14.68 €
Concrete Roses Le'Taxione / Boek Gebonden (paperback)
common.buy 14.78 €
The Tragedy of Coriolanus: A Play William Shakespeare / Boek Gebonden (paperback)
common.buy 8.60 €
Swallow (NHB Modern Plays) Stef Smith / E-book Adobe ePub DRM
common.buy 16.70 €
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Boek Gebonden (harde band)
common.buy 33.62 €
Advanced Python Programming DR. GABRIELE LANARO / Boek Gebonden (paperback)
common.buy 45.07 €
Restless Souls Alisa Statman / Boek Gebonden (paperback)
common.buy 14.88 €
The Negroni Matt Hranek / Boek Gebonden (harde band)
common.buy 15.79 €
TOP
Demon in the Wood Leigh Bardugo / Boek Gebonden (harde band)
common.buy 16.00 €
LEGO Arduino Cookbook Grady Koch / Boek Gebonden (paperback)
common.buy 41.52 €
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Boek Gebonden (paperback)
common.buy 21.47 €
City of Dusk Tara Sim / Boek Gebonden (harde band)
common.buy 18.53 €
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Boek Gebonden (paperback)
common.buy 13.06 €
My First 100 Weather Words Lindsay Dale-Scott / Boek Leporello (harmonicaboek)
common.buy 6.27 €
Cannabinoid Cookbook Daniel Green / Boek Gebonden (harde band)
common.buy 27.14 €
TOP
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Boek Gebonden (paperback)
common.buy 11.94 €
Nomadland Jessica Bruder / Video Dvd
common.buy 9.01 €
Contact and Conflict in English Studies Sabine Coelsch-Foisner / Boek Gebonden (harde band)
common.buy 61.99 €
Starting Your Day Right Joyce Meyer / Boek Gebonden (harde band)
common.buy 13.56 €

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?