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 - The Next 30 Years

Name: Formal Methods - The Next 30 Years
Brand: Springer Nature Switzerland AG
SKU: 24519927
Price: 53.79 EUR
Availability: InStock
Author: Maurice ter Beek
ISBN: 9783030309411

Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Maurice ter Beek

Annabelle McIver

José N. Oliveira

Sprache

Englisch

Buch Broschur

Libristo-Code: 24519927

Verlag Springer Nature Switzerland AG, September 2019

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, hel... Vollständige Beschreibung

Libristo-Code: 24519927

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Archiv fur Geschichte des Buchwesens, Band 28, Archiv fur Geschichte des Buchwesens (1987) Monika Estermann

Hardcover

175.59 €

27 divů světa 02 - DVD pošeta

Video

1.59 €

Revue de littérature comparée - N°4/2006

Broschur

21.29 €

Les Mangeurs de nuit Marie Charrel

Broschur

13.19 €

Terpentín Lukáš Cabala

Hardcover

17.59 €

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.

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 - The Next 30 Years

Autor Maurice ter Beek, Annabelle McIver, José N. Oliveira

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2019

Anzahl der Seiten 774

EAN 9783030309411

Libristo-Code 24519927

Verlag Springer Nature Switzerland AG

Gewicht 1199

Abmessungen 155 x 235 x 43

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