Verwandte Artikel zu Structured Object-Oriented Formal Language and Method:...
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers: ... Computer Science and General Issues) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 95,53
EUR 9,01 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Structured Object-Oriented Formal Language and Method:...
Beispielbild für diese ISBN
Structured Object-oriented Formal Langua
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. V9783030774738
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Structured Object-oriented Formal Language and Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 213 pages. 9.25x6.10x0.46 inches. In Stock. Artikel-Nr. x-3030774732
Anzahl: 2 verfügbar
Foto des Verkäufers
Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
ISBN 10: 3030774732
ISBN 13: 9783030774738
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783030774738
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers . Science and General Issues, Band 12723)
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 42907591/1
Anzahl: 1 verfügbar