Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Structured Object-Oriented Formal Language and Method

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Book on DemandKartoniert, Paperback
205 Seiten
Englisch
Springererschienen am04.06.20211st ed. 2021
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.mehr
Verfügbare Formate
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49
Book on DemandKartoniert, Paperback
EUR53,49

Produkt

KlappentextThis 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.
Details
ISBN/GTIN978-3-030-77473-8
ProduktartBook on Demand
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2021
Erscheinungsdatum04.06.2021
Auflage1st ed. 2021
ReiheTheoretical Computer Science and General Issues
Seiten205 Seiten
SpracheEnglisch
IllustrationenVIII, 205 p. 98 illus., 45 illus. in color.
Artikel-Nr.49585003

Inhalt/Kritik

Inhaltsverzeichnis
Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.mehr

Schlagworte

Autor