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 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 42849724
Price: 107.29 EUR
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274800

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Marsha Chechik

Joost-Pieter Katoen

Martin Leucker

Sprache

Englisch

Buch Broschur

Libristo-Code: 42849724

Verlag Springer, Berlin, April 2023

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Vollständige Beschreibung

Libristo-Code: 42849724

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult

Broschur

9.29 €

Moins un Joanniez

Broschur

11.79 €

Locke & Key Joe Hill

Hardcover

40.19 €

Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert

Broschur

37.29 €

Bonjour Pansori Han

Broschur

31.99 €

Trace et disparition Brocchini

Broschur

19.79 €

Basics Schallschutz Dominic Kampshoff

Broschur

24.59 €

Štedrovečerné rozprávky Miklós Malvina

Hardcover

5.99 €

Cadena de oro Kolton

Broschur

10.19 €

La Ligue de Salut La Gervaisais-N-L-M

Broschur

14.19 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

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 Formal Methods

Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2023

Anzahl der Seiten 676

EAN 9783031274800

Libristo-Code 42849724

Verlag Springer, Berlin

Gewicht 929

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