Formal Methods for Components and Objects, FMCO 2002

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

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

Автор: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.87 € 103.41 лв

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

Информация за книгата

Автор

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

Език

Английски език

Корици

Книга - С меки корици

Издадена

2003

страници

512

EAN

9783540203032

ISBN

3540203036

Enbook ID

01558705

Издател

Springer, Berlin

Теглоt

800

Размери

156 x 234 x 26

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods for Components and Objects, FMCO 2002

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също