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.

Verified Software. Theories, Tools, and Experiments

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verified Software. Theories, Tools, and Experiments Andrei Paskevich
Libristo-code: 18622645
Uitgeverij Springer International Publishing AG, december 2017
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Zeszyt 3 linie z tłem niebieski Praca Zbiorowa / Boek Gebonden (paperback)
common.buy 3.02 €
Saga Dune 1-6. La mayor epopeya de todos los tiempos Frank Herbert / Boek Gebonden (paperback)
common.buy 56.13 €
Alle Arten von Karma / Boek Gebonden (paperback)
common.buy 17.19 €
Wordt verwacht
Le Code Secret Priya Hemenway / Boek Gebonden (harde band)
common.buy 16.68 €
SLYTHERIN J.K. ROWLING / Boek Gebonden (paperback)
common.buy 13.14 €
Pamiętnik z powstania warszawskiego Mirona Białoszewskiego. Wojciechowska Małgorzata / Boek Gebonden (paperback)
common.buy 2.72 €
Camino de servidumbre Friedrich A. von Hayek / Boek Gebonden (paperback)
common.buy 18.30 €
TOP
Prufungstraining DaF Jürgen Weigmann / Boek Gebonden (paperback)
common.buy 23.05 €
Paganismo, ?En Tu Cristianismo? Barna / Boek Gebonden (paperback)
common.buy 14.76 €
BA MUNCH GERMAN Ulrich Bischoff / Boek Gebonden (harde band)
common.buy 13.54 €
Black and White - The Jazz Piano, Bildband und 4 Audio-CDs Peter Bölke / Boek Gebonden (harde band)
common.buy 53.00 €
Asterix - Asterix Gallus Rene Goscinny / Boek Gebonden (harde band)
common.buy 14.46 €

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 Boek - Gebonden (paperback)
Datum van uitgifte 2017
Aantal pagina's 211
EAN 9783319723075
ISBN 3319723073
Libristo-code 18622645
Uitgeverij Springer International Publishing AG
Gewicht 454
Afmetingen 155 x 235 x 10

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

Dit vind je misschien ook interessant

Living Faiths Buddhism Student Book CONSTANCE / Boek Gebonden (paperback)
common.buy 26.29 €
Top Hits from TV, Movies & Musicals Instrumental Solos Alfred Publishing / Boek Gebonden (paperback)
common.buy 29.22 €
Yugoslav Fighter Colours 1918-1941. Volume 1 Djordie Nikolic / Boek Gebonden (harde band)
common.buy 46.32 €
TOP
Nordic Tales Chronicle Books / Boek Gebonden (harde band)
common.buy 20.93 €
TOP Wordt verwacht
Textures from Nature in Textile Art Marian Jazmik / Boek Gebonden (harde band)
common.buy 25.89 €
Microdosing with Amanita Muscaria Baba Masha / Boek Gebonden (paperback)
common.buy 15.77 €
Lizards and Snakes of Alabama Craig Guyer / Boek Gebonden (paperback)
common.buy 34.18 €
Wilhelm Von Humboldts Linguistical Studies George J Adler / Boek Gebonden (paperback)
common.buy 21.23 €
Untranslatable Julia Klatt Singer / Boek Gebonden (paperback)
common.buy 12.53 €
My Favorite Thing Is Monsters Emil Ferris / Boek Gebonden (paperback)
common.buy 34.08 €
TOP
Leaders Eat Last Simon Sinek / Boek Gebonden (harde band)
common.buy 22.85 €
On Kindness Adam Phillips / Boek Gebonden (paperback)
common.buy 13.54 €
TOP
Becoming a Supple Leopard Kelly Starrett / Boek Gebonden (harde band)
common.buy 52.49 €
High-Tech High-Touch Recruiting Barbara Bruno / Boek Gebonden (paperback)
common.buy 44.09 €
Unlocking Employment Law Chris Turner / E-book Adobe ePub DRM
common.buy 74.54 €
TOP
No One Belongs Here More Than You Miranda July / Boek Gebonden (paperback)
common.buy 9.70 €
Management 3.0 Jurgen Appelo / Boek Gebonden (paperback)
common.buy 43.69 €
Conquest of Gaul Julius Caesar / Boek Gebonden (paperback)
common.buy 9.90 €
TOP
This Time It's Real Ann Liang / Boek Gebonden (paperback)
common.buy 9.70 €
Definitive Guide to ARM (R) Cortex (R)-M3 and Cortex (R)-M4 Processors Joseph Yiu / Boek Gebonden (paperback)
common.buy 63.92 €
Gender in STEM Education in the Arab Gulf Countries Martina Dickson / E-book Adobe ePub DRM
common.buy 173.88 €

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?