SKU/Artículo: AMZ-0201627574

Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)

Format:

Paperback

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
0.68 kg
Devolución:
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • 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.
U$S 297,58
44% OFF
U$S 165,32

IMPORTÁ FACIL

Comprando este producto podrás descontar el IVA con tu número de RUT

NO CONSUME FRANQUICIA

Si tu carrito tiene solo libros o CD’s, no consume franquicia y podés comprar hasta U$S 1000 al año.

U$S 297,58
44% OFF
U$S 165,32

¡Comprá en hasta 12 cuotas sin interés con todas tus tarjetas!

Llega en 11 a 15 días hábiles
con envío
Tienes garantía de entrega