Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) - Tapa blanda
Sinopsis
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Software Development with Z: A Practical Approach to...
Imagen de archivo
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Publicado por
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Antiguo o usado
Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 5531017-6
Comprar usado
EUR 11,70
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Publicado por
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Antiguo o usado
Tapa blanda
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 5531017-6
Comprar usado
EUR 11,70
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Publicado por
Addison-Wesley, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Antiguo o usado
Tapa blanda
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-R-030-02728
Comprar usado
EUR 1,18
EUR 12,16 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Publicado por
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 13520534-6
Comprar usado
EUR 5,36
EUR 9,14 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Publicado por
Pearson Education (US), United States, Boston, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR001729493
Comprar usado
EUR 65,99
EUR 6,40 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-0201627574
Comprar nuevo
EUR 90,48
EUR 5,94 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles