Carte 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

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book presents revised tutorial lectures given by invited speakers at the First International Sy...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2003
Pagini
512
EAN
9783540203032
ISBN
3540203036
Enbook ID
01558705
Greutate
800
Dimensiuni
156 x 234 x 26

Descriere completă

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.

S-ar putea să te intereseze

81.70 lei

Atomic Habits

James Clear
82.92 lei
79.78 lei
102.53 lei

Salt

John Paul Zronik
147.84 lei

Raw Energy Bible

Leslie Kenton
155.22 lei
242.80 lei

Creative Environments

Andrzej P. Wierzbicki
829.14 lei

Algebraic Geometry

Solomon Lefschetz
618.89 lei

Clienții care au cumpărat această carte au mai cumpărat și

Čovjek bez zemlje

Kurt Vonnegut
23.15 lei
26.08 lei
648.42 lei

En route !

Marbehant
48.03 lei

Anselmo B

Francisco Melgares
54.50 lei
639.12 lei
238.15 lei
48.43 lei

Gier

Arne Dahl
54.09 lei
64.21 lei
49.95 lei