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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods

Name: Formal Methods
Brand: Springer Nature Switzerland
SKU: 46505872
Price: 41.24 EUR
Availability: InStock
Author: Matteo Rossi
ISBN: 9783031711619

Matteo Rossi

Matteo Pradella

Kristin Yvonne Rozier

Sprache

Englisch

Buch Broschur

Libristo-Code: 46505872

Verlag Springer Nature Switzerland, September 2024

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th Interna... Vollständige Beschreibung

Libristo-Code: 46505872

100 b

41.24 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.

The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:

Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;

Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

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 Matteo Rossi, Matteo Pradella, Kristin Yvonne Rozier

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2024

Anzahl der Seiten 704

EAN 9783031711619

ISBN 3031711610

Libristo-Code 46505872

Verlag Springer Nature Switzerland

Gewicht 1048

Abmessungen 155 x 235 x 38

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