Formal Methods for Components and Objects, FMCO 2002

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

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

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

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

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

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2003

oldal

512

EAN

9783540203032

ISBN

3540203036

Enbook ID

01558705

Kiadó

Springer, Berlin

Súly

800

Méretek

156 x 234 x 26

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods for Components and Objects, FMCO 2002

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták