Structured Object-Oriented Formal Language and Method (Paperback)
Cong Tian
ISBN 10: 3319901036 ISBN 13: 9783319901039
Edité par Springer International Publishing AG, Cham, 2018
Neuf(s)
Paperback
Vendeur
Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 12 octobre 2005
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Paperback. This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xian, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation. This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xian, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. model checking; Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783319901039
Synopsis :
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.
The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Structured Object-Oriented Formal Language ...
Éditeur : Springer International Publishing AG, Cham
Date d'édition : 2018
Reliure : Paperback
Etat : new
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Structured Object-oriented Formal Language and Method : 7th International Workshop, Sofl+msvl 2017, Xi'an, China, November 16, 2017, Selected Papers
Edité par
Springer, 2018
ISBN 10 : 3319901036
ISBN 13 : 9783319901039
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 32712375
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Structured Object-Oriented Formal Language and Method
Edité par
Springer International Publishing, 2018
ISBN 10 : 3319901036
ISBN 13 : 9783319901039
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 220289735
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Structured Object-Oriented Formal Language and Method | 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Edité par
Springer Nature Switzerland, 2018
ISBN 10 : 3319901036
ISBN 13 : 9783319901039
Neuf
Taschenbuch
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Structured Object-Oriented Formal Language and Method | 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers | Cong Tian (u. a.) | Taschenbuch | x | Englisch | 2018 | Springer Nature Switzerland | EAN 9783319901039 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 112638801
Quantité disponible : 5 disponible(s)
Image d'archives
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected ... Computer Science and General Issues)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020111960
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Structured Object-oriented Formal Language and Method : 7th International Workshop, Sofl+msvl 2017, Xi'an, China, November 16, 2017, Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 32712375-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
ISBN 10 : 3319901036
ISBN 13 : 9783319901039
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation. N° de réf. du vendeur 9783319901039
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Structured Object-Oriented Formal Language and Method
ISBN 10 : 3319901036
ISBN 13 : 9783319901039
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi¿an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch. N° de réf. du vendeur 9783319901039
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Structured Object-Oriented Formal Language and Method
Edité par
Springer International Publishing Apr 2018, 2018
ISBN 10 : 3319901036
ISBN 13 : 9783319901039
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation. 232 pp. Englisch. N° de réf. du vendeur 9783319901039
Quantité disponible : 2 disponible(s)
Image d'archives
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783319901039
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Structured Object-oriented Formal Language and Method : 7th International Workshop, Sofl+msvl 2017, Xi'an, China, November 16, 2017, Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 32712375-n
Quantité disponible : Plus de 20 disponibles