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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Name: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Brand: Springer, Berlin
SKU: 46539685
Price: 70.89 EUR
Availability: InStock
Author: Tiziana Margaria
ISBN: 9783031753862

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria

Bernhard Steffen

Sprache

Englisch

Buch Broschur

Libristo-Code: 46539685

Verlag Springer, Berlin, November 2023

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... Vollständige Beschreibung

Libristo-Code: 46539685

174 b

70.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Familie und Beruf. Vereinbarkeit von Elternzeit und Fuhrungspositionen fur Manner in mittelstandischen Unternehmen Anja Landvoigt

Broschur

27.95 €

Les Misérables Part 1; Volume II Anonymous

Broschur

25.89 €

Tí, čo odchádzajú – tí, čo zostávajú Elena Ferrante

Hardcover

26.39 €

Na lavici obžalovaných Mikuláš Černák

Hardcover

14.89 €

Základka a ďalšie katastrofy 1 - Najhoršia spolubývajúca Wanda Coven

Hardcover

13.29 €

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

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 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Autor Tiziana Margaria, Bernhard Steffen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2024

Anzahl der Seiten 330

EAN 9783031753862

Libristo-Code 46539685

Verlag Springer, Berlin

Gewicht 523

Abmessungen 155 x 235

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

Model Driven Engineering and Ontology Development Dragan Ga evic

Broschur

107.29 €

History of the Moors of Spain M. Florian

Broschur

14.09 €

Eton Abuses Considered Unknown Author

Broschur

11.39 €

Judges and Ruth Barry Webb

Hardcover

55.59 €

Michelangelo's World J. Patrick Lewis

Hardcover

17.39 €

Spikenard -A Woman Anoints Jesus's Feet - Did She Use the Spikenard of Aromatherapy?: Nardostachys Jatamansi - An Essential Oil and Medicinal Plant fo Mrs Elizabeth Ashley

Broschur

21.99 €