Compartir
formal foundations for software engineering methods (en Inglés)
Hußmann (Autor)
·
springer publishing map
· Libro Físico
formal foundations for software engineering methods (en Inglés) - hußmann
73,56 €
81,73 €
Ahorras: 8,17 €
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
Martes 30 de Julio y el
Martes 13 de Agosto.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.
Reseña del libro "formal foundations for software engineering methods (en Inglés)"
in this book, hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. firstly, the principal feasibility of an integration of the different methods is demonstrated. secondly, the formalism is used as a systematic semantic analysis of the concepts in ssadm, a british standard structured software engineering method. thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of ssadm notations and formal (spectrum) specifications is shown. this well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
✓ Producto agregado correctamente al carro, Ir a Pagar.