Amast Series In Computing: Construction And Analysis Of Transition Systems With Mec (PDF)
(Sprache: Englisch)
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...
Leider schon ausverkauft
eBook
114.99 €
57 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Amast Series In Computing: Construction And Analysis Of Transition Systems With Mec (PDF)“
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.
Bibliographische Angaben
- Autoren: A Arnold , Didier Begay
- 1994, 200 Seiten, Englisch
- Verlag: World Scientific Publishing Company
- ISBN-10: 9814343455
- ISBN-13: 9789814343459
- Erscheinungsdatum: 16.12.1994
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 63 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Amast Series In Computing: Construction And Analysis Of Transition Systems With Mec"
0 Gebrauchte Artikel zu „Amast Series In Computing: Construction And Analysis Of Transition Systems With Mec“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Amast Series In Computing: Construction And Analysis Of Transition Systems With Mec".
Kommentar verfassen