Verwandte Artikel zu Construction And Analysis Of Transition Systems With...
Inhaltsangabe
The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software development process. This book focuses on a method concerning the early stages of design, namely the modeling of a system at conceptual level, and the verification and validation of this model.The mathematical formalism used for modeling and verifying systems is the synchronized product of transition systems. The book introduces this notion and presents several examples of modeling and verification covering various domains: games, industrial processes, communication protocols, etc.These examples are worked out using the “Mec” software tool. This book is also intended to be an introduction to this tool which is described in full detail.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software development process. This book focuses on a method concerning the early stages of design, namely the modeling of a system at conceptual level, and the verification and validation of this model.The mathematical formalism used for modeling and verifying systems is the synchronized product of transition systems. The book introduces this notion and presents several examples of modeling and verification covering various domains: games, industrial processes, communication protocols, etc.These examples are worked out using the "Mec" software tool. This book is also intended to be an introduction to this tool which is described in full detail.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Couverture...
Diesen Artikel anzeigen
EUR 9,99
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Construction And Analysis Of Transition Systems With...
Beispielbild für diese ISBN
CONSTRUCTION AND ANALYSIS OF TRANSITION SYSTEMS WITH MEC (Amast Series in Computing)
Verlag:
World Scientific Pub Co Inc, 1994
ISBN 10: 9810219229
ISBN 13: 9789810219222
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers F-933-928
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Construction and Analysis of Transition Systems With Mec (Amast Series in Computing, Vol 3)
Verlag:
World Scientific Publishing Company, 1995
ISBN 10: 9810219229
ISBN 13: 9789810219222
Gebraucht
Hardcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 192 pp., hardcover, minor library markings to dust jacket, else very good in a good dust jacket. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Bestandsnummer des Verkäufers ZB585879
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Construction and Analysis of Transition Systems With Mec.
Verlag:
Singapore: World Scientific, 1994
ISBN 10: 9810219229
ISBN 13: 9789810219222
Gebraucht
Hardcover
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. Series: Amast Series in Computing 192p hardback with black laminated cover with gilt lettering, very good, unused copy from a Cambridge college library Language: English. Bestandsnummer des Verkäufers 102566
Anzahl: 1 verfügbar