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 €
DPD courier 6.49 € Bpost point 8.49 € Bpost 7.99 € DPD point 3.99 € GLS courier 5.49 €
phone Contact phoneHow to shop
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.33 €
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 61.88 €
E-commerce con meno di 1.000 euro. Come aprire un sito e renderlo redditizio Andrea Benedet / Book Paperback
common.buy 14.66 €
En route ! Marbehant / Book Paperback
common.buy 8.13 €
ZAKLÍNAČ - komplet 1.-8. diel - box Andrzej Sapkowski / Book Paperback
common.buy 126.48 €
Biodanza - La danse de la vie Roulin / Book Book
common.buy 6.72 €
BABADADA black-and-white, Shona - Russkij âzyk (Latinskij bukvy), duramazwi rine mifananidzo - Ill?strirovannyj slovar? / Book Paperback
common.buy 7.73 €
Top
LEGO Star Wars. Największy Mistrz Jedi! Opracowanie zbiorowe / Book Paperback
common.buy 5.01 €
Modelo de Neuroaprendizaje Basado en Organizadores Gráficos Milena González / Book Paperback
common.buy 60.98 €
Hirurgicheskie stenty i shiny, ispol'zuemye w chelüstno-licewyh protezah Anuq Thakur / Book Paperback
common.buy 31.84 €
Čovjek bez zemlje Kurt Vonnegut / Book Paperback
common.buy 5.52 €
Samolepková knížka 500 Disney Princezny / Book Paperback
common.buy 7.12 €
Zodiakens Största Sjusovare eller Stenbocken Bella Mary Wood / Book Paperback
common.buy 14.16 €
Květa Fialová pod křídly andělů Josef Kubáník / Book Hardback
common.buy 9.23 €
Rub a líc mých pohlednic Egon Wiener / Book Sheet
common.buy 12.55 €
Gier Arne Dahl / Book Paperback
common.buy 9.94 €
lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart Theresa Zuschnegg / Book Paperback
common.buy 16.07 €
Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen Andreas Staggl / Book Paperback
common.buy 16.07 €
Clara Grunwald und Maria Montessori Diana Stiller / Book Paperback
common.buy 43.90 €
Handschriften und Quellen von Willirams deutscher Paraphrase des Hohen Liedes JOSEPH SEEM LLER / Book Hardback
common.buy 118.35 €
Der Identitatsroman Norbert Ratz / Book Hardback
common.buy 118.35 €
Memoires Du General Baron de Marbot. Madrid-Essling-Torres-Vedras (Ed.1891) Jean-Baptiste Antoine Marcellin De Marbot / Book Paperback
common.buy 30.83 €
Rapport Sur Les Ouvrages de Numismatique de M. E. Vanhende Verly-C-N / Book Paperback
common.buy 13.96 €
The Koren Talmud Bavli: Masekhet Shabbat 2 Adin Even-Israel Steinsaltz / Book Hardback
common.buy 31.05 €
Madinah [Medinah] Arabic Course for Children Dr V. Abdur Rahim / Book Paperback
common.buy 17.17 €

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 279.70 €
Computer Safety, Reliability, and Security Rune Winther / Book Paperback
common.buy 51.33 €
Mil Caminos Por El Perro Mundo Fernando M Cantos / Book Paperback
common.buy 14.66 €
Emerie's Reading Log Martha Day Zschock / Book Hardback
common.buy 16.07 €
Top
Atomic Habits James Clear / Book Paperback
common.buy 15.16 €
Making Indigenous Citizens Maria Elena Garcia / Book Hardback
common.buy 117.84 €
Victorians in the Rearview Mirror Simon Joyce / Book Hardback
common.buy 64.39 €
Shark Squadron Pilot Bert Horden / Book Hardback
common.buy 18.89 €
Coming soon
Dear Papa, Dear Hotch III DeFazio Albert J. / Book Hardback
common.buy 73.64 €
Greentail Mouse Leo Lionni / Book Hardback
common.buy 14.77 €
Dialect, Culture, and Society in Eastern Arabia Clive Holes / Book Hardback
common.buy 269.87 €
Pittsburgh: 1900-1945 Michael Eversmeyer / Book Paperback
common.buy 21.19 €
World Revolution - The Plot Against Civilization Nesta H. Webster / Book Paperback
common.buy 26.72 €
African, Asian and Middle Eastern Artists John Castagno / Book Hardback
common.buy 220.53 €
Short Stories And Poems By American Authors (1908) Craven Langstroth Betts / Book Paperback
common.buy 24.51 €
A Garden of Birds: Paint It Simply Concept Lessons David Jansen / Book Paperback
common.buy 33.45 €
Not Your Father's Eldadorian Empire: Book Two of the Fovean Chronicles Intermission MR Robert William Brady Jr / Book Paperback
common.buy 9.64 €
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.06 €
Lucy The Cat Christmas Bilingual Japanese - English Pertti a Pietarinen / Book Paperback
common.buy 13.15 €
The Fourteen Books Of Palladius Rutilius Taurus Aemilianus, On Agriculture (1807) Rutilius Taurus Aemilianus Palladius / Book Hardback
common.buy 49.62 €
Quantitative Methods for Traditional Chinese Medicine Development Shein-Chung Chow / Book Paperback
common.buy 102.17 €
Computed Tomography of the Lung Johny A. Verschakelen / Book Paperback
common.buy 140.25 €
Ubuntu 24.04 Lts User Guide for Beginners 2026 EDWARD A. FAGAN / Book Paperback
common.buy 19.68 €
Creative Environments Andrzej P. Wierzbicki / Book Hardback
common.buy 153.31 €

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?