The Essence of Z is an exciting new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several larger case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject.
"Sinopsis" puede pertenecer a otra edición de este libro.
The Essence of Z is an exciting new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several larger case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: GRP15984228
Cantidad disponible: 19 disponibles
Librería: madelyns books, Suffolk, Reino Unido
Paperback. Condición: Used: Like New. like new condition. unused.Speedy despatch from the u/k 0.0. Nº de ref. del artículo: 0630PLV8U7M
Cantidad disponible: 1 disponibles