Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Methods

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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods Marsha Chechik
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
? points 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Locke & Key Joe Hill / Buch Hardcover
common.buy 40.09 €
Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Buch Broschur
common.buy 8.79 €
Moins un Joanniez / Buch Broschur
common.buy 11.59 €
Yoga, Sex and Happiness Carolin-Marie Roth / Buch Broschur
common.buy 28.00 €
Большая книга приключений Конни. Путешествия Лиана Шнайдер / Buch Hardcover
common.buy 18.69 €
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Buch Broschur
common.buy 37.19 €
Briefe, die neueste Litteratur betreffend, Teil 15, Briefe, die neueste Litteratur betreffend Teil 15 Moses Mendelssohn / Buch Hardcover
common.buy 123.99 €
Lombardia slow foot. Montagna per tutte le gambe. Provincia di Pavia e Varese Giuseppe Miotti / Buch Buch
common.buy 8.09 €
I love Kawaii. El arte japonés de para dibujar cosas dulces Nguyen / Buch Broschur
common.buy 14.79 €
Bonjour Pansori Han / Buch Broschur
common.buy 31.89 €
PC-7M popisovač Posca, 4,5-5,5 mm, černý (24) / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 4.19 €
Trace et disparition Brocchini / Buch Broschur
common.buy 19.79 €
Basics Schallschutz Dominic Kampshoff / Buch Broschur
common.buy 24.59 €
Štedrovečerné rozprávky Miklós Malvina / Buch Hardcover
common.buy 5.99 €
These: Des Privileges Sur Les Meubles Flachat-A / Buch Broschur
common.buy 17.49 €
Cadena de oro Kolton / Buch Broschur
common.buy 8.89 €
Jerusalem, Jerusalem Berengar Pfahl / Video DVD
common.buy 18.49 €
La Ligue de Salut La Gervaisais-N-L-M / Buch Broschur
common.buy 13.59 €

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
Ewa Kasp
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

Das könnte Sie auch interessieren

Fairground Attraction: A debut poetry collection Sally Anne Nash / Buch Broschur
common.buy 9.79 €
Top
One For All Lillie Lainoff / Buch Broschur
common.buy 10.99 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Buch Broschur
common.buy 16.39 €
Quaking of America Resmaa Menakem / Buch Broschur
common.buy 15.79 €
The Last Exchange Martin / Buch Hardcover
common.buy 24.39 €
Die Closer To Me David Kuhnlein / Buch Broschur
common.buy 16.59 €
Bimladadi's Dream Aurobindo Ghosh / Buch Broschur
common.buy 10.09 €
Leatherface Baroness Orczy / Buch Broschur
common.buy 34.49 €
Accidental Christian SHARON LEE FOLEY / Buch Hardcover
common.buy 24.99 €
Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Buch Broschur
common.buy 24.89 €
Top
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Buch Broschur
common.buy 16.39 €
The Cohort Nathaniel Sizemore / Buch Broschur
common.buy 22.99 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Buch Hardcover
common.buy 56.29 €
Semiotics of Religion Robert A Yelle / Buch Hardcover
common.buy 257.79 €
Günstig
Life in Half a Second Matthew Michalewicz / Buch Broschur
common.buy 15.29 €
Taste Your Emotions Damien Marie Athope / Buch Broschur
common.buy 11.89 €
Screen Acting Peter Kramer / Buch Broschur
common.buy 65.89 €
Integrity in Depth John Beebe / Buch Broschur
common.buy 18.89 €
Linear Algebra: Examples And Applications Alain M. Robert / Buch Hardcover
common.buy 131.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?