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

Formal Methods

Name: Formal Methods
Brand: Springer Nature B.V.
SKU: 43418139
Price: 61.89 EUR
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274824

25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings

Marsha Chechik

Joost-Pieter Katoen

Martin Leucker

Sprache

Englisch

Buch Broschur

Libristo-Code: 43418139

Verlag Springer Nature B.V., März 2023

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

Libristo-Code: 43418139

151 b

61.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Zur Genese eines doppelten Geheimnisses - Homoerotik und Objekt der Begierde. Ann Drechsler

Broschur

15.95 €

Introducción: Diccionario etimológico crítico del Castellano Javier Goitia Blanco

Broschur

7.99 €

I guai di una seconda possibilit? Alex McAnders

Broschur

14.99 €

Kakukkszó Robert Galbraith (J. K. Rowling)

Hardcover

18.99 €

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 9783031274824

Libristo-Code 43418139

Verlag Springer Nature B.V.

Gewicht 970

Abmessungen 157 x 234 x 37

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