LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.49

Free delivery for orders over 69.99 euro.

Formal Methods for Components and Objects, FMCO 2002

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

Language EnglishEnglish
Book Paperback
Book Formal Methods for Components and Objects, FMCO 2002 Frank S. de Boer
Libristo code: 01558705
Publishers Springer, Berlin, November 2002
This book presents revised tutorial lectures given by invited speakers at the First International Sy... Full description
? points 125 b
51.63
In stock at our supplier Shipping in 5-8 days

30-day return policy


Customers also purchased


Čovjek bez zemlje Kurt Vonnegut / Book Paperback
common.buy 4.54
Top
LEGO Star Wars. Największy Mistrz Jedi! Opracowanie zbiorowe / Book Paperback
common.buy 5.14
ZAKLÍNAČ - komplet 1.-8. diel - box Andrzej Sapkowski / Book Paperback
common.buy 127.11
En route ! Marbehant / Book Paperback
common.buy 9.39
Anselmo B Francisco Melgares / Book Paperback
common.buy 10.20
Der Identitatsroman Norbert Ratz / Book Hardback
common.buy 119.03
Clara Grunwald und Maria Montessori Diana Stiller / Book Paperback
common.buy 44.15
7. Schuljahr, Arbeitsheft Heinz Griesel / Book Sheet
common.buy 9.49
Gier Arne Dahl / Book Paperback
common.buy 9.99
Rub a líc mých pohlednic Egon Wiener / Book Sheet
common.buy 12.62
Květa Fialová pod křídly andělů Josef Kubáník / Book Hardback
common.buy 9.29

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Computer Safety, Reliability, and Security Rune Winther / Book Paperback
common.buy 51.63
Mil Caminos Por El Perro Mundo Fernando M Cantos / Book Paperback
common.buy 15.25
El Arte De Amar (Spanish Edition) Ovidio / Book Paperback
common.buy 9.39
Top
Atomic Habits James Clear / Book Paperback
common.buy 15.25
Greentail Mouse Leo Lionni / Book Hardback
common.buy 14.84
Shark Squadron Pilot Bert Horden / Book Hardback
common.buy 18.99
Salt John Paul Zronik / Book Hardback
common.buy 27.48
Transition Metal Carbonyl Cluster Chemistry Paul J Dyson / Book Hardback
common.buy 265.86
Raw Energy Bible Leslie Kenton / Book Paperback
common.buy 29.09
Top
Trading in the Zone Mark Douglas / Book Hardback
common.buy 47.59
Creative Environments Andrzej P. Wierzbicki / Book Hardback
common.buy 154.20
Communal Organization and Social Transition Barry Laffan / Book Paperback
common.buy 42.03
Algebraic Geometry Solomon Lefschetz / Book Hardback
common.buy 116.10

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account