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: Applications

Name: Leveraging Applications of Formal Methods, Verification and Validation: Applications
Brand: Springer Nature Switzerland AG
SKU: 33346452
Price: 53.79 EUR
Availability: InStock
Author: Tiziana Margaria
ISBN: 9783030614669

Tiziana Margaria

Sprache

Englisch

Buch Broschur

Libristo-Code: 33346452

Verlag Springer Nature Switzerland AG, Oktober 2020

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internationa... Vollständige Beschreibung

Libristo-Code: 33346452

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Viktor Ullmann. Leben und Klavierwerk Svitlana Kapitanova

Broschur

49.19 €

Kim Jiyoung, geboren 1982 Ki-Hyang Lee

Hardcover

18.00 €

Quarantaquattro passi. Itinerari per famiglie a Milano e dintorni Luca Arzuffi

Broschur

14.99 €

Optimisation de la valeur nutritive des fourrages tropicaux Sawa Camara

Broschur

66.99 €

Jeanne Sand

Broschur

27.59 €

Bitva o Suez Jan Wanner

Hardcover

22.69 €

Wie hangt transformationale Fuhrung mit dem subjektiven Erfolgserleben bei Sportlern zusammen? Walid Mouelhi

Broschur

17.95 €

LA CHICA DE LOS ZAPATOS VERDES + CD (Leer En Espanol Nivel 2) J. S. Jorda

Broschur

12.79 €

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

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: Applications

Autor Tiziana Margaria

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2020

Anzahl der Seiten 490

EAN 9783030614669

ISBN 3030614662

Libristo-Code 33346452

Verlag Springer Nature Switzerland AG

Gewicht 771

Abmessungen 155 x 235 x 28

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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