Articoli correlati a The Construction of Formal Specifications: An Introduction...
The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches - Brossura
Sinossi
Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them. The book includes a discussion of prototyping using Prolog, OBJ3 and Miranda. It should be suitable for advanced undergraduates; postgraduates in computing and software engineering; software engineers; programmers; and other computing professionals.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreMcGraw-Hill Book Co Ltd
- Data di pubblicazione1994
- ISBN 10 0077077350
- ISBN 13 9780077077358
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine415
- Contatto del produttorenon disponibile
Compra usato
Condizioni: molto buonoIntroducing two widely-used approaches...
Visualizza questo articolo
EUR 3,92
EUR 10,57 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per The Construction of Formal Specifications: An Introduction...
Foto dell'editore
Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches (McGraw-Hill International Series in Software Engineering)
Editore:
McGraw-Hill Education - Europe, United Kingdom, London, 1993
ISBN 10: 0077077350
ISBN 13: 9780077077358
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them. The book includes a discussion of prototyping using Prolog, OBJ3 and Miranda. It should be suitable for advanced undergraduates; postgraduates in computing and software engineering; software engineers; programmers; and other computing professionals. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR004996541
Quantità: 1 disponibili