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: 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: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M00201627574-G
Comprar usado
EUR 5,19
Envío por EUR 5,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania 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)
Publicado por
Addison-Wesley, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Antiguo o usado
Paperback
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0201627574I3N00
Comprar usado
EUR 10,94
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 Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 13520534-6
Comprar usado
EUR 5,44
Envío por EUR 5,77
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 del vendedor
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: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Most items will be dispatched the same or the next working day. A copy that 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: wbs3619517852
Comprar usado
EUR 3,01
Envío por EUR 10,39
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)
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,19
Envío por EUR 12,28
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, Los Angeles, CA, 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,67
Envío por EUR 5,95
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles