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

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Sprache EnglischEnglisch
E-Book Adobe ePub DRM
E-Book Tests and Proofs Virgile Prevosto
Libristo-Code: 44990640
Verlag Springer, Juli 2023
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Vollständige Beschreibung
? points 152 b
62.29 € inkl. MwSt.
Verfügbar Sofort herunterladbar

Kunden kauften auch

Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet / Buch Hardcover
common.buy 34.79 €
Variazioni sull'apocalisse Baldacci Alessandro Baldacci / E-Book Adobe ePub DRM
common.buy 63.49 €
Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan / E-Book Adobe ePub DRM
common.buy 13.89 €
Bahmulle Mignon Kleinbek / E-Book Adobe ePub DRM
common.buy 11.39 €
La democracia liberal y su época C. B. Macpherson / Buch Broschur
common.buy 14.09 €
Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy / Buch Hardcover
common.buy 99.95 €

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

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 Virgile Prevosto, Cristina Seceleanu
Sprache Englisch
Einband E-Book - Adobe ePub DRM
Datum der Veröffentlichung 2023
EAN 9783031388286
Libristo-Code 44990640
Verlag Springer

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Philosophie und Religion > Philosophie
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

Towards a Deeper Understanding of Consciousness Max Velmans / E-Book Adobe ePub DRM
common.buy 60.79 €
Brian and Mina's Holiday Hits Kitty Thomas / Hörbuch MP3
common.buy 51.09 €
Addressing the Weaknesses of Multi-Criteria Decision-Making Methods using Python Erpolat Tasabat Semra Erpolat Tasabat / E-Book Adobe ePub DRM
common.buy 25.19 €
A Nursery Rhyme for Every Night of the Year Allie Esiri / E-Book Adobe ePub DRM
common.buy 12.49 €
Insight Guides Florida (Travel Guide eBook) Insight Guides / E-Book Adobe ePub DRM
common.buy 12.89 €
Cyril Squirrel Finds Out About Love Jane Evans / E-Book Adobe ePub DRM
common.buy 15.19 €
Armored Units of the Russian Civil War Bullock David Bullock / E-Book Adobe ePub DRM
common.buy 14.99 €
Demnächst
Muslim Women and Sports in the Malay World Wirdati Mohammad Radzi / Buch Broschur
common.buy 17.39 €
Chasing Pain: The Search for a Neurobiological Mechanism Kenneth L. Casey / E-Book Adobe ePub DRM
common.buy 37.79 €
Wildfowling Abel Chapman / Buch Broschur
common.buy 24.89 €
The Temptation Of Wealth: Or The Heir By Primogeniture (1846) Emilie Flygare Carlen / Buch Broschur
common.buy 25.89 €
Can I Have You?: A BWWM Romance Ja'nese Dixon / Buch Broschur
common.buy 14.49 €
Ethanol and Xylitol Abdul Ghaffar / Buch Broschur
common.buy 33.59 €
Demnächst
Berlitz Pocket Guide Naples, Capri & the Amalfi Coast (Travel Guide) Bearlitz / Buch Broschur
common.buy 6.99 €

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?