Versandkostenfrei ab 29,00 €
Zur Startseite gehen
  • Alle
  • Bücher
  • Musik-CDs & Vinyl
  • DVD & Blu-ray
  • Sonstiges
Zur Startseite gehen
29,00 € bis
Gratisversand

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Englisch | Taschenbuch

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .

Mehr anzeigen

Sofort verfügbar, Lieferzeit: 1-3 Tage

Artikelzustand

Weitere Infos zum Zustand

-92%
58,84 € (91.76% gespart)

4,85 €

Preise inkl. MwSt. zzgl. Versandkosten


14 Tage Zufriedenheitsgarantie
Risikofrei bestellen

Geprüfte Gebrauchtware
Einzeln geprüft

Produktinformationen "Structured Object-Oriented Formal Language and Method"

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .

Untertitel
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
H | B | T | Gramm
235 mm | 155 mm | 10 mm | 260 gr
Erscheinungsjahr
2023
FSK
0
Ausgabe
Taschenbuch
Verlag
Springer
ISBN-10
3031294750
ISBN-13
9783031294754
Weitere Mitwirkende
Liu, Shaoying | Liu, Ai | Duan, Zhenhua
Sprache
Englisch
Seitenanzahl
164
Themen
Systemanalyse und -design, Wissensbasierte Systeme, Expertensysteme, Betriebssysteme, Software Engineering, Netzwerk-Hardware
Verantwortliche Person gemäß Art. 16 GPSR
Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115, Heidelberg, DE, ProductSafety@springernature.com

0 von 0 Bewertungen

Bewerten Sie dieses Produkt!

Teilen Sie Ihre Erfahrungen mit anderen Kunden.

Wusstest du, dass...

ein wiederverkauftes Buch rund 2,7 kg CO₂ einspart – das entspricht einer 14 km langen Autofahrt?

Erfahre mehr zum Thema Nachhaltigkeit bei Buchpark

Versandkostenfrei ab 29 €

14 Tage Rückgaberecht - Kein Risiko

Geprüfte Gebrauchtware

Filter werden angewendet...
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...