Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Tests and Proofs

Name: Tests and Proofs
Brand: Springer, Berlin
SKU: 43672513
Price: 53.79 EUR
Availability: InStock
Author: Virgile Prevosto
ISBN: 9783031388279

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

Virgile Prevosto

Cristina Seceleanu

Sprache

Englisch

Buch Broschur

Libristo-Code: 43672513

Verlag Springer, Berlin, August 2023

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Vollständige Beschreibung

Libristo-Code: 43672513

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Das könnte Sie auch interessieren

Empty Cradle Rosie Goodwin

Broschur

11.99 €

White Jacket Herman Melville

Broschur

21.59 €

Pocket Scottish Tales Tony Potter

Hardcover

8.09 €

Bladder Cancer David Pulver

Hardcover

40.69 €

Engineers as Leaders Calloway Ph.D. Jesse L Calloway Ph.D.

Hardcover

41.59 €

Brick by Brick Sheffield

Hardcover

16.29 €

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

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 Buch - Broschur

Datum der Veröffentlichung 2023

Anzahl der Seiten 212

EAN 9783031388279

Libristo-Code 43672513

Verlag Springer, Berlin

Gewicht 304

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware

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