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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 132 b
54.06 €
105.73  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Fisiología veterinaria Kolb / Book Paperback
common.buy 65.01 € 127.14 лв
E-commerce con meno di 1.000 euro. Come aprire un sito e renderlo redditizio Andrea Benedet / Book Paperback
common.buy 15.46 € 30.25 лв
En route ! Marbehant / Book Paperback
common.buy 8.58 € 16.78 лв
Top
ZAKLÍNAČ - komplet 1.-8. diel - box Andrzej Sapkowski / Book Paperback
common.buy 133.67 € 261.43 лв
Biodanza - La danse de la vie Roulin / Book Book
common.buy 7.09 € 13.86 лв
BABADADA black-and-white, Shona - Russkij âzyk (Latinskij bukvy), duramazwi rine mifananidzo - Ill?strirovannyj slovar? / Book Paperback
common.buy 8.12 € 15.88 лв
Top
LEGO Star Wars. Największy Mistrz Jedi! Opracowanie zbiorowe / Book Paperback
common.buy 5.24 € 10.24 лв
Modelo de Neuroaprendizaje Basado en Organizadores Gráficos Milena González / Book Paperback
common.buy 64.60 € 126.34 лв
Hirurgicheskie stenty i shiny, ispol'zuemye w chelüstno-licewyh protezah Anuq Thakur / Book Paperback
common.buy 33.71 € 65.93 лв
Čovjek bez zemlje Kurt Vonnegut / Book Paperback
common.buy 5.65 € 11.05 лв
Samolepková knížka 500 Disney Princezny / Book Paperback
common.buy 7.50 € 14.67 лв
Zodiakens Största Sjusovare eller Stenbocken Bella Mary Wood / Book Paperback
common.buy 13.67 € 26.73 лв
Květa Fialová pod křídly andělů Josef Kubáník / Book Hardback
common.buy 9.71 € 18.99 лв
Rub a líc mých pohlednic Egon Wiener / Book Sheet
common.buy 13.20 € 25.82 лв
Gier Arne Dahl / Book Paperback
common.buy 10.53 € 20.60 лв
lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart Theresa Zuschnegg / Book Paperback
common.buy 17.01 € 33.26 лв
Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen Andreas Staggl / Book Paperback
common.buy 17.01 € 33.26 лв
Clara Grunwald und Maria Montessori Diana Stiller / Book Paperback
common.buy 46.45 € 90.86 лв
Handschriften und Quellen von Willirams deutscher Paraphrase des Hohen Liedes JOSEPH SEEM LLER / Book Hardback
common.buy 124.62 € 243.74 лв
Der Identitatsroman Norbert Ratz / Book Hardback
common.buy 124.62 € 243.74 лв
Memoires Du General Baron de Marbot. Madrid-Essling-Torres-Vedras (Ed.1891) Jean-Baptiste Antoine Marcellin De Marbot / Book Paperback
common.buy 31.04 € 60.70 лв
Rapport Sur Les Ouvrages de Numismatique de M. E. Vanhende Verly-C-N / Book Paperback
common.buy 13.92 € 27.23 лв
The Koren Talmud Bavli: Masekhet Shabbat 2 Adin Even-Israel Steinsaltz / Book Hardback
common.buy 32.80 € 64.14 лв
Madinah [Medinah] Arabic Course for Children Dr V. Abdur Rahim / Book Paperback
common.buy 17.31 € 33.86 лв

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

Arthroscopy and Endoscopy of the Shoulder Tun Hing Lui / Book Hardback
common.buy 295.30 € 577.55 лв
Computer Safety, Reliability, and Security Rune Winther / Book Paperback
common.buy 54.06 € 105.73 лв
Mil Caminos Por El Perro Mundo Fernando M Cantos / Book Paperback
common.buy 14.85 € 29.04 лв
Emerie's Reading Log Martha Day Zschock / Book Hardback
common.buy 16.08 € 31.45 лв
Top
Atomic Habits James Clear / Book Paperback
common.buy 16.18 € 31.65 лв
Making Indigenous Citizens Maria Elena Garcia / Book Hardback
common.buy 117.89 € 230.57 лв
Victorians in the Rearview Mirror Simon Joyce / Book Hardback
common.buy 67.06 € 131.16 лв
Shark Squadron Pilot Bert Horden / Book Hardback
common.buy 19.99 € 39.11 лв
Coming soon
Dear Papa, Dear Hotch III DeFazio Albert J. / Book Hardback
common.buy 77.08 € 150.76 лв
Greentail Mouse Leo Lionni / Book Hardback
common.buy 15.57 € 30.46 лв
Dialect, Culture, and Society in Eastern Arabia Clive Holes / Book Hardback
common.buy 282.25 € 552.04 лв
Pittsburgh: 1900-1945 Michael Eversmeyer / Book Paperback
common.buy 22.40 € 43.81 лв
World Revolution - The Plot Against Civilization Nesta H. Webster / Book Paperback
common.buy 26.87 € 52.56 лв
African, Asian and Middle Eastern Artists John Castagno / Book Hardback
common.buy 220.78 € 431.80 лв
Short Stories And Poems By American Authors (1908) Craven Langstroth Betts / Book Paperback
common.buy 24.51 € 47.94 лв
A Garden of Birds: Paint It Simply Concept Lessons David Jansen / Book Paperback
common.buy 33.45 € 65.43 лв
Not Your Father's Eldadorian Empire: Book Two of the Fovean Chronicles Intermission MR Robert William Brady Jr / Book Paperback
common.buy 9.61 € 18.79 лв
The Dos & Don'ts of Web Design for Health Care: 27 Tips for Finding Patients and Building Trust on the Web Collin Stover / Book Paperback
common.buy 15.10 € 29.54 лв
Lucy The Cat Christmas Bilingual Japanese - English Pertti a Pietarinen / Book Paperback
common.buy 13.20 € 25.82 лв
The Fourteen Books Of Palladius Rutilius Taurus Aemilianus, On Agriculture (1807) Rutilius Taurus Aemilianus Palladius / Book Hardback
common.buy 49.69 € 97.19 лв
Quantitative Methods for Traditional Chinese Medicine Development Shein-Chung Chow / Book Paperback
common.buy 102.22 € 199.92 лв
Computed Tomography of the Lung Johny A. Verschakelen / Book Paperback
common.buy 147.95 € 289.37 лв
Ubuntu 24.04 Lts User Guide for Beginners 2026 EDWARD A. FAGAN / Book Paperback
common.buy 19.73 € 38.59 лв
Creative Environments Andrzej P. Wierzbicki / Book Hardback
common.buy 161.68 € 316.21 лв

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?