Name: validated designs for object-oriented systems (en Inglés)
Price: 398314.00 COP
Availability: InStock
Author: Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul
ISBN: 9781852338817

portada validated designs for object-oriented systems (en Inglés)

Formato

Libro Físico

Autor

Editorial

Idioma

Inglés

N° páginas

402

Encuadernación

Tapa Dura

Dimensiones

24.2 x 16.7 x 2.4 cm

Peso

0.72 kg.

ISBN

1852338814

ISBN13

9781852338817

Categorías

Matemáticas discretas
Programación informática - desarrollo de software

validated designs for object-oriented systems (en Inglés)

John Fitzgerald (Autor) · Peter Gorm Larsen (Autor) · Paul Mukherjee (Autor) · Springer · Tapa Dura

Libro Físico

$ 398.314

$ 663.857

Ahorras: $ 265.543

40% descuento

Envío normal

Origen: Reino Unido (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 10 de Junio y el Martes 18 de Junio.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "validated designs for object-oriented systems (en Inglés)"

This book describes an object-oriented design approach that combines the benefits of abstract modeling with the analytic power of formal methods to give designs that can be rigorously validated and assured with automated support. Aimed at software architects, designers, and developers as well as computer scientists, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience reports. Industry-strength tools support the text.