Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

ISBN 10: 3031294777 ISBN 13: 9783031294778
Verlag: Springer, 2023
Neu Softcover

Verkäufer Ria Christie Collections, Uxbridge, Vereinigtes Königreich Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 25. März 2015

Dieses Exemplar ist nicht mehr verfügbar. Hier sind die ähnlichsten Treffer für Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers.
Alle Artikel dieses Verkäufers anzeigen Ein Kaufgesuch für ähnliche Artikel erstellen

Beschreibung

Beschreibung:

In. Bestandsnummer des Verkäufers ria9783031294778_new

Diesen Artikel melden

Inhaltsangabe:

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.


  .

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Structured Object-Oriented Formal Language ...
Verlag: Springer
Erscheinungsdatum: 2023
Einband: Softcover
Zustand: New

Beste Suchergebnisse beim ZVAB

Beispielbild für diese ISBN

Unbekannt
ISBN 10: 3031294750 ISBN 13: 9783031294754
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | 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. . Artikel-Nr. 41566318/1

Verkäufer kontaktieren

Gebraucht kaufen

EUR 7,69
EUR 105,00 shipping
Versand von Deutschland nach USA

Anzahl: 10 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Unbekannt
ISBN 10: 3031294750 ISBN 13: 9783031294754
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | 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. . Artikel-Nr. 41566318/2

Verkäufer kontaktieren

Gebraucht kaufen

EUR 7,69
EUR 105,00 shipping
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Shaoying Liu (u. a.)
Verlag: Springer, 2023
ISBN 10: 3031294750 ISBN 13: 9783031294754
Neu Taschenbuch

Anbieter: preigu, Osnabrück, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Structured Object-Oriented Formal Language and Method | 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers | Shaoying Liu (u. a.) | Taschenbuch | xii | Englisch | 2023 | Springer | EAN 9783031294754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 126667620

Verkäufer kontaktieren

Neu kaufen

EUR 54,90
EUR 70,00 shipping
Versand von Deutschland nach USA

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Shaoying Liu
ISBN 10: 3031294750 ISBN 13: 9783031294754
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. . Artikel-Nr. 9783031294754

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
EUR 61,30 shipping
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Liu, Shaoying (Editor)/ Duan, Zhenhua (Editor)/ Liu, Ai (Editor)
ISBN 10: 3031294750 ISBN 13: 9783031294754
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 163 pages. 9.25x6.10x0.35 inches. In Stock. Artikel-Nr. x-3031294750

Verkäufer kontaktieren

Neu kaufen

EUR 82,46
EUR 11,39 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

In den Warenkorb