Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Hirurgicheskie stenty i shiny, ispol'zuemye w chelüstno-licewyh protezah Anuq Thakur / Book Paperback
common.buy 12 428 Ft
E-commerce con meno di 1.000 euro. Come aprire un sito e renderlo redditizio Andrea Benedet / Book Paperback
common.buy 5 348 Ft
BABADADA black-and-white, Shona - Russkij âzyk (Latinskij bukvy), duramazwi rine mifananidzo - Ill?strirovannyj slovar? / Book Paperback
common.buy 3 004 Ft
Čovjek bez zemlje Kurt Vonnegut / Book Paperback
common.buy 1 830 Ft
Modelo de Neuroaprendizaje Basado en Organizadores Gráficos Milena González / Book Paperback
common.buy 23 803 Ft
Top
LEGO Star Wars. Największy Mistrz Jedi! Opracowanie zbiorowe / Book Paperback
common.buy 1 816 Ft
ZAKLÍNAČ - komplet 1.-8. diel - box Andrzej Sapkowski / Book Paperback
common.buy 45 128 Ft
Portugals Traumküste Algarve (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 22 749 Ft
En route ! Marbehant / Book Paperback
common.buy 3 342 Ft
Handschriften und Quellen von Willirams deutscher Paraphrase des Hohen Liedes JOSEPH SEEM LLER / Book Hardback
common.buy 42 004 Ft
Stoffwechsel Beschleunigen: 44 Relativ Unbekannte Tipps Um Fett Zu Verbrennen (Inkl. Rezept) Melanie Maier / Book Paperback
common.buy 3 956 Ft
Pexetrio Státy světa / Game/Toy Game
common.buy 3 180 Ft
Anselmo B Francisco Melgares / Book Paperback
common.buy 3 915 Ft
Der Identitatsroman Norbert Ratz / Book Hardback
common.buy 45 817 Ft
Clara Grunwald und Maria Montessori Diana Stiller / Book Paperback
common.buy 17 133 Ft
Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen Andreas Staggl / Book Paperback
common.buy 6 272 Ft
lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart Theresa Zuschnegg / Book Paperback
common.buy 6 272 Ft
7. Schuljahr, Arbeitsheft Heinz Griesel / Book Sheet
common.buy 3 369 Ft
Gier Arne Dahl / Book Paperback
common.buy 3 901 Ft
Rub a líc mých pohlednic Egon Wiener / Book Sheet
common.buy 4 469 Ft
Květa Fialová pod křídly andělů Josef Kubáník / Book Hardback
common.buy 3 402 Ft

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.

About the book

Full name Formal Methods for Components and Objects, FMCO 2002
Author Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 512
EAN 9783540203032
ISBN 3540203036
Libristo code 01558705
Publishers Springer, Berlin
Weight 800
Dimensions 156 x 234 x 26

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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 19 902 Ft
Mil Caminos Por El Perro Mundo Fernando M Cantos / Book Paperback
common.buy 5 833 Ft
Optical Signal Processing by Silicon Photonics Jameel Ahmed / Book Paperback
common.buy 19 902 Ft
El Arte De Amar (Spanish Edition) Ovidio / Book Paperback
common.buy 3 619 Ft
A Garden of Birds: Paint It Simply Concept Lessons David Jansen / Book Paperback
common.buy 12 590 Ft
Top
Atomic Habits James Clear / Book Paperback
common.buy 5 629 Ft
Greentail Mouse Leo Lionni / Book Hardback
common.buy 5 731 Ft
Shark Squadron Pilot Bert Horden / Book Hardback
common.buy 7 358 Ft
Salt John Paul Zronik / Book Hardback
common.buy 10 612 Ft
Transition Metal Carbonyl Cluster Chemistry Paul J Dyson / Book Hardback
common.buy 101 071 Ft
Raw Energy Bible Leslie Kenton / Book Paperback
common.buy 11 079 Ft
The Fourteen Books Of Palladius Rutilius Taurus Aemilianus, On Agriculture (1807) Rutilius Taurus Aemilianus Palladius / Book Hardback
common.buy 18 598 Ft
Top
Trading in the Zone Mark Douglas / Book Hardback
common.buy 17 558 Ft
Creative Environments Andrzej P. Wierzbicki / Book Hardback
common.buy 59 474 Ft
Fundamentals of Radiation Materials Science Gary Was / Book Hardback
common.buy 40 215 Ft
Communal Organization and Social Transition Barry Laffan / Book Paperback
common.buy 16 167 Ft
Algebraic Geometry Solomon Lefschetz / Book Hardback
common.buy 44 190 Ft

Login

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

 
mandatory
mandatory
Forgotten password

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?