Formal Methods for Components and Objects, FMCO 2002

Name: Formal Methods for Components and Objects, FMCO 2002
Brand: Springer, Berlin
SKU: 9783540203032
Price: 212.42 PLN
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

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2003

strony

512

EAN

9783540203032

ISBN

3540203036

Enbook ID

01558705

Wydawca

Springer, Berlin

Waga

800

Wymiary

156 x 234 x 26

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również