Sinossi
Formal Specification Using Z: A Modelling Approach is designed to provide a practical introduction to formal specification, explaining use of mathematically based techniques for specifying software systems in the formal specification language, Z.
Of particular note is the text's concentration 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 formal notation. The process of developing the specification is explained through the exploration of alternative mathematical models and the book emphasizes equally both model building and the use of a formal notation, in this case Z.
Divided into four parts, Formal Specification Using Z 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 a number of modelling examples. Extended examples are presented in the third part of the book whilst part four places formal specification in the context of formal methods.
Formal Specification Using Z: A Modelling Approach is ideal for computer science and software engineering students studying a first course in formal specification. It will also be of value to software development professionals.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Dr. Leonardo Bottacl is a lecturer in the Department of Computer Science at the University of Hull.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Specification Using Z: A Modelling Approach
Immagini fornite dal venditore
Formal Specification Using Z: A Modelling Approach
Editore:
Cengage Learning EMEA, 1994
ISBN 10: 1850321094
ISBN 13: 9781850321095
Antico o usato
Brossura
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo wbb0022304787
Compra usato
EUR 1,61
EUR 6,98 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Specification Using Z: A Modelling Approach
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Formal Specification Using Z: A Modelling Approach This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 7719-9781850321095
Compra usato
EUR 4,15
EUR 5,70 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Specification Using Z: A Modelling Approach
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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! Codice articolo S_351205846
Compra usato
EUR 6,72
EUR 3,20 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Specification Using Z: A Modelling Approach
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 6545-9781850321095
Compra usato
EUR 4,04
EUR 7,97 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Specification Using Z : A Modelling Approach
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo 17721946-6
Compra usato
EUR 5,36
EUR 9,14 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili