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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Verified Software. Theories, Tools and Experiments Andrew Reynolds
Libristo-Code: 46145388
Verlag Springer, Berlin, August 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... 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

Panda El Perro Magico: Cuidando A Los Animales ER Landron / E-Book Adobe ePub DRM
common.buy 8.29 €
Ein Kuss fur Theseus - Buch mit MP3-Download Annette Weber / Buch Broschur
common.buy 7.09 €
Calisthenics Workout Madness / Buch Broschur
common.buy 20.09 €
Die mittelalterliche und moderne Armbrust Ralph Payne-Gallwey / Buch Broschur
common.buy 42.59 €
Imposto de Renda do Investidor Pierre Lorenzo / Buch Broschur
common.buy 12.79 €
Como os utilizadores e empregados interagem quando desenvolvem um novo produto Louise R?nne / Buch Broschur
common.buy 35.49 €
Memento Experto Tributación en América Latina Lefebvre-El Derecho / Buch Broschur
common.buy 54.59 €
A Certain Magical Index T20 Kazuma Kamachi / Buch Broschur
common.buy 10.49 €
Funko Bitty POP: Spider-Man - Spider-Man 4-pack Spiel/Spielzeug Spielzeug
common.buy 16.49 €
Do Jornal à Poética de Maria Teresa Horta Antoniella Devanier Lopes / Buch Broschur
common.buy 46.59 €
Pasaporte a la Dimensión de Los Milagros Raquel Levinstein / Buch Broschur
common.buy 16.49 €
Lehrbuch der Enneagramm-Homoeopathie Detlef Rathmer / Buch Broschur
common.buy 59.95 €
?am ?am ?umi ?umi Ailin Skye / Buch Broschur
common.buy 11.79 €
Masallar Ülkesi Dört Mevsim Kulesi Masallari Ecehan cetin / Buch Broschur
common.buy 7.59 €
Les Pupilles de Tante Bette SOSTA-R / Buch Broschur
common.buy 20.99 €
Alumnado, familias y sistema educativo Cristina Brullet / Buch Broschur
common.buy 11.09 €
Soda: Méthode de français 2 / Buch Broschur
common.buy 36.89 €
Interkulturelle Pädagogik in der DDR Rene Hoffmann / Buch Broschur
common.buy 17.95 €
Cambio climático Andrés Santana Muñoz / Buch Broschur
common.buy 73.59 €
L' Argent Emile Zola / Buch Broschur
common.buy 10.39 €
Zu Wasser und Land: Geschichten aus See und von der fasten Wall Heinrich Smidt / Buch Broschur
common.buy 34.90 €
Das Alkoholverbot in Amerika. Marta Küppersbusch / Buch Broschur
common.buy 59.90 €

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.

The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

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 Verified Software. Theories, Tools and Experiments
Autor Andrew Reynolds, Serdar Tasiran
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2024
Anzahl der Seiten 108
EAN 9783031660634
Libristo-Code 46145388
Verlag Springer, Berlin
Gewicht 195
Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik
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

The Marriage of Sense and Soul: Integrating Science and Religion Ken Wilber / Buch Broschur
common.buy 16.29 €
Flexible Bodies Kedhar / Buch Hardcover
common.buy 111.79 €
Apologie De La Mission De S. Maur, Apostre Des Benedictins En France (1702) Thierry Ruinart / Buch Broschur
common.buy 27.89 €
What are Exhibitions for? An Anthropological Approach Inge Daniels / Buch Broschur
common.buy 52.09 €
I Love You When Alicia McBride / Buch Broschur
common.buy 15.39 €
History of Newcastle and Gateshead Richard (CSR Asia) Welford / Buch Hardcover
common.buy 40.69 €
40 Days with the Holy Spirit Jack Levison / Buch Broschur
common.buy 14.99 €
Introduction to Media Distribution Scott Kirkpatrick / E-Book Adobe ePub DRM
common.buy 67.89 €
Mrs. Jeffries and the Merry Gentlemen Emily Brightwell / Buch Broschur
common.buy 7.29 €
Writing for the Hollywood $$$ Tony Blake / Buch Hardcover
common.buy 30.39 €
Colorado Is Calling Morgan Mosher / Buch Hardcover
common.buy 52.49 €
Early FM Radio Gary L. Frost / Buch Hardcover
common.buy 76.89 €
Rite out of Place Ronald L. Grimes / Buch Hardcover
common.buy 116.39 €
Kybalion Three Initiates / Buch Broschur
common.buy 8.89 €
Top
Three Hundred Years of Longing: Bu Jian Shang Xian San Bai Nian 1 Mu Su Li / Buch Broschur
common.buy 15.29 €
Introduction to Labor Law Michael Evan Gold / Buch Broschur
common.buy 12.69 €

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?