Formal Methods for Components and Objects, FMCO 2002

Name: Formal Methods for Components and Objects, FMCO 2002
Brand: Springer, Berlin
SKU: 9783540203032
Price: 50.19 EUR
Availability: InStock

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures

Autor: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

This book presents revised tutorial lectures given by invited speakers at the First International Sy...

Informácie o knihe

Autor

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

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2003

Stránok

512

EAN

9783540203032

ISBN

3540203036

Enbook ID

01558705

Vydavateľ

Springer, Berlin

Hmotnosť

800

Rozmery

156 x 234 x 26

Kompletný popis

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002.The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods for Components and Objects, FMCO 2002

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež