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
SKU: 41016754
Price: 140.09 EUR
Availability: InStock
Author: Marieke Huisman
ISBN: 9783030908706

24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Marieke Huisman

Corina Pasareanu

Naijun Zhan

Sprache

Englisch

E-Book Adobe ePub DRM

Libristo-Code: 41016754

Verlag Springer, November 2021

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Vollständige Beschreibung

Libristo-Code: 41016754

343 b

140.09 € inkl. MwSt.

Verfügbar Sofort herunterladbar

Kunden kauften auch

Sich(er) fühlen: Dein Körper ist der Schlüssel Kathleen Kunze

Broschur

18.00 €

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

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 Marieke Huisman, Corina Pasareanu, Naijun Zhan

Sprache

Englisch

Einband E-Book - Adobe ePub DRM

Datum der Veröffentlichung 2021

EAN 9783030908706

Libristo-Code 41016754

Verlag Springer

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

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