• Home /
  • Structured Object-Oriented Formal Language and Method (eBook)

Structured Object-Oriented Formal Language and Method (eBook)

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Artikelnummer: 978-3-030-77474-5
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 59.00
decrease increase

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.

Due to the Corona pandemic this event was held virtually.

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.

Due to the Corona pandemic this event was held virtually.
Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer Nature Switzerland
EinbandPDF
Erscheinungsjahr2021
Seitenangabe205 S.
AusgabekennzeichenEnglisch
AbbildungenVIII, 205 p. 98 illus., 45 illus. in color.
Masse19'208 KB
Auflage21001 A. 1st ed. 2021
PlattformPDF
ReiheLecture Notes in Computer Science; Theoretical Computer Science and General Issues; Computer Science; Computer Science
AutorXue, Jinyun (Hrsg.) / Nagoya, Fumiko (Hrsg.) / Liu, Shaoying (Hrsg.) / Duan, Zhenhua (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Computer Science; Computer Science (R0)"

Weitere Titel von Jinyun (Hrsg.) Xue

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten