Compartir
z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994 (en Inglés)
J. P. Bowen
(Ilustrado por)
·
J. a. Hall
(Ilustrado por)
·
Springer
· Tapa Blanda
z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994 (en Inglés) - Bowen, J. P. ; Hall, J. a.
$ 81.130
$ 135.210
Ahorras: $ 54.080
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Jueves 23 de Mayo y el
Martes 04 de Junio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994 (en Inglés)"
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.
