Artículo: AMZ-0333801237

Formal Object Oriented Specification Using Object-Z (Cornerstones of Computing, 4)

Format:

Paperback

Detalles del producto
Disponibilidad
Sin stock
Peso con empaque
0.56 kg
Devolución
No
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description. A practical and rigorous approach to object-oriented formal specification. Introduces Object-Z. Illustrates the key role of formal specification in formal verification by inclusion of example proofs of correctness.

Sin stock

Seleccione otra opción o busque otro producto.

Este producto viaja de USA a tus manos en

Conoce más detalles

Used Book in Good Condition