Verwandte Artikel zu Formal Specification Using Z: A Modelling Approach
Inhaltsangabe
This text is designed to provide a practical introduction to formal specification, explaining the use of mathematically-based techniques for specifying software systems in the formal specification language, Z. The text concentrates on the process of developing a specification and the clear distinction made between the process of constructing a mathematical model and the translation of that model into a formal notation. The process of developing the specification is explained through the exploration of alternative mathematical models and the book emphasizes both model building and the use of a formal notation, in this case Z. Divided into four parts, it begins by introducing the need for formal specification and discusses the general issue of modelling. Part two presents a selection of the basic mathematical tools and applies these to the modelling example. Extended examples are presented in the third part of the book whilst part four places formal specification in the context of formal methods.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Dr. Leonardo Bottacl is a lecturer in the Department of Computer Science at the University of Hull.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCengage Learning EMEA
- Erscheinungsdatum1994
- ISBN 10 1850321094
- ISBN 13 9781850321095
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten326
- Kontakt zum HerstellerNicht verfügbar
EUR 0,88
EUR 4,15 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Specification Using Z: A Modelling Approach
Beispielbild für diese ISBN
Formal Specification Using Z: A Modelling Approach
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bestandsnummer des Verkäufers GOR002492516
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Specification Using Z: A Modelling Approach
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers . Sun damage has caused slight fading to the colours of the cover. Bestandsnummer des Verkäufers wbb0022304787
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification Using Z: A Modelling Approach
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_351205846
Anzahl: 1 verfügbar