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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods for Open Object-Based Distributed Systems Marcello M. Bonsangue
Libristo code: 01568675
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2007
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Fo... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Młodzi przyrodnicy. Na łące praca zbiorowa / Book Paperback
common.buy 7.69 €
Divertimenti Pera Toons / Book Hardback
common.buy 18.49 €
Gouvernance thique Des Entreprises Ou Miroir de la Morale? Yolande Francois / Book Paperback
common.buy 45.79 €
Zábavné objevování zvířátek / Book Board book
common.buy 2.19 €
Der deutsche Freund Christian Dorph / Book Paperback
common.buy 11.29 €
Dis-moi où tu as mal, je te dirai pourquoi - édition 2022 Michel Odoul / Book Paperback
common.buy 28.49 €
Familie in Deutschland nach Neidhardt Laura Dahm / Book Paperback
common.buy 17.95 €
YNSA Nova craniopuntura de Yamamoto Hahn / Book Paperback
common.buy 44.79 €
Brief an den Vater Franz Kafka / Book Paperback
common.buy 9.99 €
§§ 311, 311a, 312, 312a-i Heinz-Peter Mansel / Book Hardback
common.buy 200.89 €
Eine kurze Geschichte der Sprachen Tore Janson / Book Paperback
common.buy 34.99 €
Nowe język polski to się czyta podręcznik 2 szkoła branżowa 68821 Anna Klimowicz / Book Paperback
common.buy 16.79 €
La Ville Dans l'Emploi Du Temps de Michel Butor Mireille Calle-Gruber / Book Paperback
common.buy 28.39 €
La Decima Legione: Milos, il Trace Maria Pace / Book Paperback
common.buy 21.79 €
Deutsch als Zweitsprache - systematisch fördern Bettina Briddigkeit / Book Sheet
common.buy 29.99 €
S bicí soupravou taktem i dobou II. Libor Kubánek / Book Paperback
common.buy 7.59 €
Papa Noel libro para colorear 1 Nick Snels / Book Paperback
common.buy 10.69 €
Bitkiler Beslenme, Saglik ve Hastalikta Gülay Hergenc / Book Paperback
common.buy 51.89 €
Epitres Liberales En Vers, Ou Satires Comme on Voudra, A Mes Souliers, Aux Arts, A Rien Beaufort D'Auberval-A-A / Book Paperback
common.buy 14.19 €
Das Phänomen der Vagheit aus philosophischer Sicht. Defekt oder integraler Bestandteil der natürlichen Sprache? Gino Krüger / Book Paperback
common.buy 17.95 €
Crónicas de la Torre I. El Valle de los Lobos LAURA GALLEGO / Book Paperback
common.buy 16.89 €
Allens bloots Minschenwark Heinz Johnsen / Book Paperback
common.buy 7.90 €

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.§The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

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 Open Object-Based Distributed Systems
Author Marcello M. Bonsangue, Einar Broch Johnsen
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 317
EAN 9783540729198
ISBN 3540729194
Libristo code 01568675
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 516
Dimensions 155 x 235 x 20

Categories

Computing & Information Technology > Computer hardware > Network hardware
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
Computing & Information Technology > Computer networking & communications
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

Partial Differential Equations IX M.S. Agranovich / Book Paperback
common.buy 107.29 €
The Power to Choose Sarah Libero / Book Paperback
common.buy 14.29 €
S. Hilarii Tractatvs de Mysteriis Et Hymni Et S. Silviae Aqvitanae Peregrinatio Ad Loca Sancta Hilary / Book Paperback
common.buy 19.49 €
Adventures in a Midwest Purgatory Michael Oellig / Book Hardback
common.buy 33.69 €
Spring Song Singers Richard Tydeman / Book Paperback
common.buy 15.59 €
Handbook of Research on Financial and Banking Crisis Prediction through Early Warning Systems Qaiser Munir / Book Hardback
common.buy 302.59 €
Identity and Agency in England, 1500-1800 J. Barry / Book Paperback
common.buy 55.49 €
Diary - choose your own year: Plastic Toy Soldier Edition Gee Myster / Book Paperback
common.buy 12.59 €
A Blavatsky Quotation Book: Being an Extract for Each Day of the Year H P Blavatsky / Book Hardback
common.buy 37.69 €
Cuthberht of Lindisfarne ALFRED C. FRYER / Book Paperback
common.buy 22.49 €
Fractal Bookmarks Vol. 2 Cross Stitch Collectibles / Book Paperback
common.buy 17.39 €
Top
Supernatural: Bone Key Keith R. A. DeCandido / Book Paperback
common.buy 8.89 €
Top
Bungo Stray Dogs, Vol. 10 Kafka Asagiri / Book Paperback
common.buy 11.19 €
Friends: Central Perk Softcover Notebook Insight Editions / Calendar/Diary Diary
common.buy 12.49 €
Hardest Job in the World DICKERSON JOHN / Book Paperback
common.buy 17.39 €
Sparo Rising Erik Schubach / Book Paperback
common.buy 14.19 €
Phonics Book Bag Readers: Starter Pack 4 Catherine Baker / Book Paperback
common.buy 23.09 €
Thesaurus Linguae Latinae / Editus Auctoritate Et Consilio Academiarum Quinque Germanicarum Berolinensis, Gottingensis, Lipsiensis, Monacensis, Vindob Deutsche Akademie Der Wissenschaften Zu / Book Paperback
common.buy 15.09 €
Large Print Calm Dot-To-Dot / Book Paperback
common.buy 12.99 €
Korea Robert Lyman / Book Hardback
common.buy 28.19 €
Death SADHGURU / Book Hardback
common.buy 24.09 €
Multicultural Teaching in the Early Childhood Classroom Mariana Souto-Manning / Book Hardback
common.buy 111.69 €
Humic Substances & Natural Organic Matter Laurence Bates / Book Hardback
common.buy 266.89 €
Book of the Opening of the Mouth: Vol. II Sir E. A. Wallis Budge / Book Paperback
common.buy 85.09 €

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