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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Taal EngelsEngels
E-book Adobe ePub DRM
E-book Verified Software. Theories, Tools, and Experiments Andrei Paskevich
Libristo-code: 41044624
Uitgeverij Springer, december 2017
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International... Volledige beschrijving
? points 148 b
61.06 €
Op voorraad Onmiddellijk te downloaden

Dit vind je misschien ook interessant

Barcodes with iOS7:Bringing together the digital and physical worlds Oliver Drobnik / Boek Gebonden (paperback)
common.buy 39.22 €
Wider Professional Practice in Education and Training Sasha Pleasance / Boek Gebonden (paperback)
common.buy 27.59 €
Old Thunder Joseph Pearce / Boek Gebonden (paperback)
common.buy 22.84 €
English-Swahili Numbers/Namba Children's Bilingual Picture Dictionary Richard Carlson Jr / Boek Gebonden (paperback)
common.buy 10.81 €
Virginia Test Prep Reading Skills Workbook Daily Sol Reading Practice Grade 4: Preparation for the Sol Reading Tests V Hawas / Boek Gebonden (paperback)
common.buy 20.72 €
Space Luca Erik Livraghi / Boek Gebonden (paperback)
common.buy 10.20 €
Wordt verwacht Nieuw
I Love You Daddy: Padded Board Book Janet Samuel / Boek Leporello (harmonicaboek)
common.buy 8.38 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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 Verified Software. Theories, Tools, and Experiments
Auteur Andrei Paskevich, Thomas Wies
Taal Engels
Bindwijze E-book - Adobe ePub DRM
Datum van uitgifte 2017
EAN 9783319723082
Libristo-code 41044624
Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computermodellering en -simulatie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Informatica: algemene onderwerpen
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?