Name: The way of z Paperback: Practical Programming With Formal Methods (en Inglés)
SKU: 2553132
Price: 330.01 PEN
Availability: InStock
Author: Jonathan Jacky
ISBN: 9780521559768

portada The way of z Paperback: Practical Programming With Formal Methods (en Inglés)

The way of z Paperback: Practical Programming With Formal Methods (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Jonathan Jacky

Año

1996

Idioma

Inglés

N° páginas

370

Encuadernación

Tapa Blanda

Peso

1.30

ISBN

0521559766

ISBN13

9780521559768

N° edición

Categorías

Lenguajes de programación y extensión/scripting: general

The way of z Paperback: Practical Programming With Formal Methods (en Inglés)

Jonathan Jacky (Autor) · Cambridge University Press · Tapa Blanda

Más barato Libro Nuevo Importado

Envío: 14 a 19 días háb.

S/ 733,36S/ 330,01

-55%

Más rápido Libro Nuevo Importado

Envío: 14 a 18 días háb.

S/ 824,97S/ 412,49

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo Más barato

Quedan más de 100 unidades

S/ 330,01

Llega entre el 05 Oct y el 14 Oct a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "The way of z Paperback: Practical Programming With Formal Methods (en Inglés)"

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.