Code: 01558705

Formal Methods for Components and Objects, FMCO 2002

Name: Formal Methods for Components and Objects, FMCO 2002
Brand: Springer, Berlin
SKU: 01558705
Price: 51.54 EUR
Availability: InStock
Author: Frank S. de Boer
ISBN: 9783540203032

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

Language: English
Binding: Paperback
Number of pages: 512
Publisher: Springer, Berlin, 2003
More about this

51.54 €

RRP: 55.81 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Atomic Habits
15.93 € -22 %
Buy
Trading in the Zone
45.69 € -25 %
Buy
LEGO Star Wars. Największy Mistrz Jedi!
5.14 € -9 %
Buy
ZAKLÍNAČ - komplet 1.-8. diel - box
115.40 € -19 %
Buy
Čovjek bez zemlje
5.14 € -15 %
Buy
Květa Fialová pod křídly andělů
8.46 € -17 %
Buy
Pexetrio Státy světa
8.57 € -16 %
Buy
A Garden of Birds: Paint It Simply Concept Lessons
31.06 € -6 %
Buy
Greentail Mouse
12 € -24 %
Buy
Rub a líc mých pohlednic
12.10 € -16 %
Buy
Raw Energy Bible
29.05 €
Buy
Communal Organization and Social Transition
41.96 € -4 %
Buy
Transition Metal Carbonyl Cluster Chemistry
253.72 €
Buy
Clara Grunwald und Maria Montessori
44.08 € -11 %
Buy
Anselmo B
10.18 € -9 %
Buy
lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart
16.13 € -10 %
Buy
Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen
16.13 € -10 %
Buy
Optical Signal Processing by Silicon Photonics
51.54 € -7 %
Buy
Algebraic Geometry
115.91 €
Buy
BABADADA black-and-white, Shona - Russkij âzyk (Latinskij bukvy), duramazwi rine mifananidzo - Ill?strirovannyj slovar?
7.86 €
Buy
Shark Squadron Pilot
18.96 € -10 %
Buy
Gier
9.98 € -10 %
Buy
E-commerce con meno di 1.000 euro. Come aprire un sito e renderlo redditizio
15.02 €
Buy
Mil Caminos Por El Perro Mundo
14.52 €
Buy
El Arte De Amar (Spanish Edition)
8.97 € -6 %
Buy
Stoffwechsel Beschleunigen: 44 Relativ Unbekannte Tipps Um Fett Zu Verbrennen (Inkl. Rezept)
9.78 € -6 %
Buy
Handschriften und Quellen von Willirams deutscher Paraphrase des Hohen Liedes
118.83 € -4 %
Buy
Biodanza - La danse de la vie
7.96 €
Buy
Modelo de Neuroaprendizaje Basado en Organizadores Gráficos
61.23 € -14 %
Buy
En route !
9.47 €
Buy
Rapport Sur Les Ouvrages de Numismatique de M. E. Vanhende
13 € -1 %
Buy
Emerie's Reading Log
14.72 € -25 %
Buy
Salt
27.43 € -9 %
Buy
Creative Environments
153.94 € -7 %
Buy
Portugals Traumküste Algarve (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender
59.01 € -4 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods for Components and Objects, FMCO 2002

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development

51.54 €

Full title: Formal Methods for Components and Objects, FMCO 2002
Subtitle: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures
Author: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Language: English
Binding: Paperback
Number of pages: 512
EAN: 9783540203032
ISBN: 3540203036
ID: 01558705
Publisher: Springer, Berlin
Weight: 800 g
Dimensions: 234 × 156 × 26 mm
Published: 2003