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

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Taal EngelsEngels
E-book Adobe ePub DRM
E-book Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Libristo-code: 41004231
Uitgeverij Springer, januari 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Volledige beschrijving
? points 226 b
93.66 €
Op voorraad Onmiddellijk te downloaden

Dit vind je misschien ook interessant

Jonathan's Angel: an Unimaginable Love Story Jennie Lynne Colmer / Boek Gebonden (paperback)
common.buy 13.86 €
Analytical Reader William Alexander Parsons Martin / Boek Gebonden (paperback)
common.buy 18.82 €
Haunting of Joliet Prison Ursula Bielski / Boek Gebonden (paperback)
common.buy 19.43 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating 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 Dirk Beyer, Damien Zufferey
Taal Engels
Bindwijze E-book - Adobe ePub DRM
Datum van uitgifte 2020
EAN 9783030393229
Libristo-code 41004231
Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
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

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?