Name: formal foundations for software engineering methods (en Inglés)
Price: 70.60 USD
Availability: InStock
Author: hußmann
ISBN: 9783540636137

Selecciona tu país

América

Europa

Resto del mundo

portada formal foundations for software engineering methods (en Inglés)

formal foundations for software engineering methods (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

hußmann

Idioma

Inglés

N° páginas

286

ISBN

3540636137

ISBN13

9783540636137

Categorías

Programación orientada a objetos (poo)

formal foundations for software engineering methods (en Inglés)

Hußmann (Autor) · Springer · Libro Físico

Libro Nuevo Importado

Envío: 24 a 32 días háb.

$ 128.37$ 70.60

-45%

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

Libro Nuevo

Quedan 100 unidades

$ 70.60

Llega entre el 15 Sep y el 29 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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.