Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

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

Sprache EnglischEnglisch
Buch Broschur
Buch Tests and Proofs Dirk Beyer
Libristo-Code: 24519984
Verlag Springer Nature Switzerland AG, September 2019
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel / Buch Hardcover
common.buy 14.95 €
Disney MM Refresh Core, Mickey, 25cm / Spiel/Spielzeug Spiel
common.buy 14.95 €
Les miznúcich hviezd Kristin Harmelová / Buch Hardcover
common.buy 16.19 €
Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril / Buch Broschur
common.buy 34.39 €
Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner / Buch Broschur
common.buy 39.69 €
Planeet Vet / Buch Broschur
common.buy 21.19 €
Visión, La GABRIEL HERNANDEZ / Buch Broschur
common.buy 18.59 €
Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN / Buch Broschur
common.buy 18.90 €
Indonézia Baričák Pavel "Hirax" / Buch Hardcover
common.buy 15.19 €
Tanrilar Okulu Stefano E. D´Anna / Buch Broschur
common.buy 26.09 €
Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye / Buch Broschur
common.buy 14.19 €
Antropologie Dan Rhodes / Buch Broschur
common.buy 7.39 €
Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer / Buch Hardcover
common.buy 99.90 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Tests and Proofs
Autor Dirk Beyer, Chantal Keller
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2019
Anzahl der Seiten 207
EAN 9783030311568
Libristo-Code 24519984
Verlag Springer Nature Switzerland AG
Gewicht 454
Abmessungen 155 x 235 x 13

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

art of Anatole France Dushan Bresky / Buch Hardcover
common.buy 113.69 €
The Liberty Bell Mary Firestone / Buch Broschur
common.buy 10.09 €
Hypnotism in Mental and Moral Culture John Duncan Quackenbos / Buch Hardcover
common.buy 47.49 €
Living or Dead Labor Unions .. Caroline Nelson / Buch Hardcover
common.buy 27.89 €
Bertha, Our Little German Cousin Mary Hazelton Blanchard Wade / Buch Broschur
common.buy 16.79 €
Global Future of Higher Education and the Academic Profession Philip G. Altbach / Buch Broschur
common.buy 110.59 €
Virtual Point of Freedom Lorenzo Chiesa / Buch Broschur
common.buy 42.39 €
This Is Your Mind On Plants Michael Pollan / Hörbuch MP3
common.buy 11.89 €
Diversity in Career Preferences For Future Health Workers in Rwanda World Bank / Buch Broschur
common.buy 19.59 €
Americanization/Westernization of Austria Anton Pelinka / Buch Broschur
common.buy 77.69 €
Optical Bistability III Hyatt M. Gibbs / Buch Broschur
common.buy 107.29 €
Formation Of The Republican Party As A National Political Organization (1911) Saul Philip Kleeberg Gordon / Buch Broschur
common.buy 29.89 €
Molecular Processes in Plasmas Yukikazu Itikawa / Buch Broschur
common.buy 107.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?