Name: formal methods for components and objects: second international symposium, fmco 2003, leiden, the netherlands, november 4-7, 2003. revised lectures (en Inglés)
SKU: 25917539
Price: 1062.86 MXN
Availability: InStock
Author: Boer, Frank S. de ; Bonsangue, Marcello M. ; Graf, Susanne
ISBN: 9783540229421

portada formal methods for components and objects: second international symposium, fmco 2003, leiden, the netherlands, november 4-7, 2003. revised lectures (en Inglés)

formal methods for components and objects: second international symposium, fmco 2003, leiden, the netherlands, november 4-7, 2003. revised lectures (en Inglés)

Formato

Libro Físico

Ilustrado por

Marcello M. Bonsangue

Susanne Graf

Editorial

Springer

Autor

Boer, Frank S. de ; Bonsangue, Marcello M. ; Graf, Susanne

Año

2004

Idioma

Inglés

N° páginas

371

Encuadernación

Tapa Blanda

Dimensiones

27.9x21.6x2 cm

Peso

0.90 kg.

ISBN

3540229426

ISBN13

9783540229421

Categorías

Lógica matemática
Programación informática/desarrollo de software
Ciencias de la computación

formal methods for components and objects: second international symposium, fmco 2003, leiden, the netherlands, november 4-7, 2003. revised lectures (en Inglés)

Marcello M. Bonsangue (Ilustrado por) · Susanne Graf (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 1,932.48$ 1,062.86

-45%

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

Libro Nuevo

Quedan más de 100 unidades

$ 1,062.86

¡Envío Gratis! Llega entre el 25 Sep y el 05 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "formal methods for components and objects: second international symposium, fmco 2003, leiden, the netherlands, november 4-7, 2003. revised lectures (en Inglés)"

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.