Zum '97: the Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings - Lecture Notes in Computer Science - Jonathan Bowen - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540627173 - 20 de marzo de 1997
En caso de que portada y título no coincidan, el título será el correcto

Jonathan Bowen
Zum '97: the Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This volume presents 18 revised full papers, together with three invited presentations by international contributors. The papers are organized into sections on real-time systems, tools, logic, system development, reactive systems, refinement and applications.

452 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de marzo de 1997
ISBN13 9783540627173
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 452
Dimensiones 156 × 234 × 23 mm   ·   625 g
Lengua Francés  
Editor Bowen, Jonathan P.
Editor Hinchey, Michael G.
Editor Till, David

Mas por Jonathan Bowen

Mostrar todo

Mere med samme udgiver

Ver todo de Jonathan Bowen ( Ej. Paperback Book )