Compartir
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (en Inglés)
Manfred Broy
(Autor)
·
Ketil Stølen
(Autor)
·
Springer
· Tapa Blanda
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (en Inglés) - Broy, Manfred ; Stølen, Ketil
$ 68.310
$ 136.620
Ahorras: $ 68.310
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
Miércoles 10 de Julio y el
Miércoles 17 de Julio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (en Inglés)"
This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.
