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.

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Tests and Proofs Dirk Beyer
Libristo-code: 24519984
Uitgeverij Springer Nature Switzerland AG, september 2019
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Volledige beschrijving
? points 125 b
51.78 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel / Boek Gebonden (harde band)
common.buy 12.76 €
Disney MM Refresh Core, Mickey, 25cm / Spel/speelgoed Spel
common.buy 14.28 €
Les miznúcich hviezd Kristin Harmelová / Boek Gebonden (harde band)
common.buy 15.39 €
Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril / Boek Gebonden (paperback)
common.buy 33.33 €
Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner / Boek Gebonden (paperback)
common.buy 38.30 €
Planeet Vet / Boek Gebonden (paperback)
common.buy 22.80 €
Visión, La GABRIEL HERNANDEZ / Boek Gebonden (paperback)
common.buy 18.13 €
Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN / Boek Gebonden (paperback)
common.buy 17.02 €
Indonézia Baričák Pavel "Hirax" / Boek Gebonden (harde band)
common.buy 14.38 €
Tanrilar Okulu Stefano E. D´Anna / Boek Gebonden (paperback)
common.buy 25.12 €
Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye / Boek Gebonden (paperback)
common.buy 13.67 €
Antropologie Dan Rhodes / Boek Gebonden (paperback)
common.buy 7.08 €
Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer / Boek Gebonden (harde band)
common.buy 94.24 €

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

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 Tests and Proofs
Auteur Dirk Beyer, Chantal Keller
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2019
Aantal pagina's 207
EAN 9783030311568
Libristo-code 24519984
Uitgeverij Springer Nature Switzerland AG
Gewicht 454
Afmetingen 155 x 235 x 13

Categorieën

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

art of Anatole France Dushan Bresky / Boek Gebonden (harde band)
common.buy 109.44 €
The Liberty Bell Mary Firestone / Boek Gebonden (paperback)
common.buy 9.72 €
Hypnotism in Mental and Moral Culture John Duncan Quackenbos / Boek Gebonden (harde band)
common.buy 45.90 €
Living or Dead Labor Unions .. Caroline Nelson / Boek Gebonden (harde band)
common.buy 26.95 €
Bertha, Our Little German Cousin Mary Hazelton Blanchard Wade / Boek Gebonden (paperback)
common.buy 16.10 €
Global Future of Higher Education and the Academic Profession Philip G. Altbach / Boek Gebonden (paperback)
common.buy 106.50 €
Virtual Point of Freedom Lorenzo Chiesa / Boek Gebonden (paperback)
common.buy 41.24 €
This Is Your Mind On Plants Michael Pollan / Luisterboek MP3
common.buy 11.54 €
Diversity in Career Preferences For Future Health Workers in Rwanda World Bank / Boek Gebonden (paperback)
common.buy 18.94 €
Americanization/Westernization of Austria Anton Pelinka / Boek Gebonden (paperback)
common.buy 75.39 €
Optical Bistability III Hyatt M. Gibbs / Boek Gebonden (paperback)
common.buy 103.16 €
Formation Of The Republican Party As A National Political Organization (1911) Saul Philip Kleeberg Gordon / Boek Gebonden (paperback)
common.buy 28.87 €
Molecular Processes in Plasmas Yukikazu Itikawa / Boek Gebonden (paperback)
common.buy 103.16 €

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?