Kniha Formal Methods for Components and Objects, FMCO 2002 Frank S. de Boer

Formal Methods for Components and Objects, FMCO 2002

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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book presents revised tutorial lectures given by invited speakers at the First International Sy...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2003
Stránek
512
EAN
9783540203032
ISBN
3540203036
Enbook ID
01558705
Vydavatel
Hmotnost
800
Rozměry
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 zajímat

342

Atomic Habits

James Clear
334
329
423

Salt

John Paul Zronik
610

Raw Energy Bible

Leslie Kenton
653
973

Creative Environments

Andrzej P. Wierzbicki
3 426

Algebraic Geometry

Solomon Lefschetz
2 603

Zákaznicí kteří koupili tuto knihu koupili také

Čovjek bez zemlje

Kurt Vonnegut
121
113
2 939

En route !

Marbehant
221

Anselmo B

Francisco Melgares
225
2 650
223

Gier

Arne Dahl
222
309