Name: formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003, (en Inglés)
Price: 194279.00 COP
Availability: InStock
Author: Najm, Elie ; Nestmann, Uwe ; Stevens, Perdita
ISBN: 9783540204916

portada formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003, (en Inglés)

formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003, (en Inglés)

Formato

Libro Físico

Ilustrado por

Editorial

Autor

Najm, Elie ; Nestmann, Uwe ; Stevens, Perdita

Año

2004

Idioma

Inglés

N° páginas

340

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.9 cm

Peso

0.50 kg.

ISBN

3540204911

ISBN13

9783540204916

Categorías

Programación orientada a objetos (poo)
Lenguajes de programación y extensión/scripting: general

formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003, (en Inglés)

Perdita Stevens (Ilustrado por) · Elie Najm (Ilustrado por) · Uwe Nestmann (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 15 a 21 días háb.

$ 323.798$ 194.279

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 194.279

¡Envío Gratis! Llega entre el 24 Ago y el 02 Sep a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003, (en Inglés)"

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: - formal methods; - distributed systems; - object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems, andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci?cation, design or analysis; component-based design; veri?cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di?erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.