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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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 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 136 b
19 925 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Młodzi przyrodnicy. Na łące praca zbiorowa / Book Paperback
common.buy 2 582 Ft
Divertimenti Pera Toons / Book Hardback
common.buy 6 339 Ft
Gouvernance thique Des Entreprises Ou Miroir de la Morale? Yolande Francois / Book Paperback
common.buy 16 991 Ft
Zábavné objevování zvířátek / Book Board book
common.buy 838 Ft
Der deutsche Freund Christian Dorph / Book Paperback
common.buy 3 859 Ft
Dis-moi où tu as mal, je te dirai pourquoi - édition 2022 Michel Odoul / Book Paperback
common.buy 9 801 Ft
Familie in Deutschland nach Neidhardt Laura Dahm / Book Paperback
common.buy 6 279 Ft
YNSA Nova craniopuntura de Yamamoto Hahn / Book Paperback
common.buy 15 390 Ft
Brief an den Vater Franz Kafka / Book Paperback
common.buy 3 549 Ft
§§ 311, 311a, 312, 312a-i Heinz-Peter Mansel / Book Hardback
common.buy 68 836 Ft
Eine kurze Geschichte der Sprachen Tore Janson / Book Paperback
common.buy 12 165 Ft
Nowe język polski to się czyta podręcznik 2 szkoła branżowa 68821 Anna Klimowicz / Book Paperback
common.buy 5 752 Ft
La Ville Dans l'Emploi Du Temps de Michel Butor Mireille Calle-Gruber / Book Paperback
common.buy 9 787 Ft
La Decima Legione: Milos, il Trace Maria Pace / Book Paperback
common.buy 8 042 Ft
Deutsch als Zweitsprache - systematisch fördern Bettina Briddigkeit / Book Sheet
common.buy 10 990 Ft
S bicí soupravou taktem i dobou II. Libor Kubánek / Book Paperback
common.buy 2 642 Ft
Papa Noel libro para colorear 1 Nick Snels / Book Paperback
common.buy 3 961 Ft
Bitkiler Beslenme, Saglik ve Hastalikta Gülay Hergenc / Book Paperback
common.buy 19 194 Ft
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 5 224 Ft
Das Phänomen der Vagheit aus philosophischer Sicht. Defekt oder integraler Bestandteil der natürlichen Sprache? Gino Krüger / Book Paperback
common.buy 6 279 Ft
Crónicas de la Torre I. El Valle de los Lobos LAURA GALLEGO / Book Paperback
common.buy 5 798 Ft
Allens bloots Minschenwark Heinz Johnsen / Book Paperback
common.buy 2 832 Ft

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 39 735 Ft
The Power to Choose Sarah Libero / Book Paperback
common.buy 5 298 Ft
S. Hilarii Tractatvs de Mysteriis Et Hymni Et S. Silviae Aqvitanae Peregrinatio Ad Loca Sancta Hilary / Book Paperback
common.buy 7 251 Ft
Adventures in a Midwest Purgatory Michael Oellig / Book Hardback
common.buy 12 429 Ft
Spring Song Singers Richard Tydeman / Book Paperback
common.buy 5 752 Ft
Handbook of Research on Financial and Banking Crisis Prediction through Early Warning Systems Qaiser Munir / Book Hardback
common.buy 103 744 Ft
Identity and Agency in England, 1500-1800 J. Barry / Book Paperback
common.buy 20 527 Ft
Diary - choose your own year: Plastic Toy Soldier Edition Gee Myster / Book Paperback
common.buy 4 650 Ft
A Blavatsky Quotation Book: Being an Extract for Each Day of the Year H P Blavatsky / Book Hardback
common.buy 13 910 Ft
Cuthberht of Lindisfarne ALFRED C. FRYER / Book Paperback
common.buy 8 292 Ft
Fractal Bookmarks Vol. 2 Cross Stitch Collectibles / Book Paperback
common.buy 6 441 Ft
Top
Supernatural: Bone Key Keith R. A. DeCandido / Book Paperback
common.buy 3 285 Ft
Top
Bungo Stray Dogs, Vol. 10 Kafka Asagiri / Book Paperback
common.buy 4 151 Ft
Friends: Central Perk Softcover Notebook Insight Editions / Calendar/Diary Diary
common.buy 4 507 Ft
Hardest Job in the World DICKERSON JOHN / Book Paperback
common.buy 6 090 Ft
Sparo Rising Erik Schubach / Book Paperback
common.buy 5 238 Ft
Phonics Book Bag Readers: Starter Pack 4 Catherine Baker / Book Paperback
common.buy 7 792 Ft
Thesaurus Linguae Latinae / Editus Auctoritate Et Consilio Academiarum Quinque Germanicarum Berolinensis, Gottingensis, Lipsiensis, Monacensis, Vindob Deutsche Akademie Der Wissenschaften Zu / Book Paperback
common.buy 5 590 Ft
Large Print Calm Dot-To-Dot / Book Paperback
common.buy 4 826 Ft
Korea Robert Lyman / Book Hardback
common.buy 10 476 Ft
Death SADHGURU / Book Hardback
common.buy 8 436 Ft
Multicultural Teaching in the Early Childhood Classroom Mariana Souto-Manning / Book Hardback
common.buy 40 119 Ft
Humic Substances & Natural Organic Matter Laurence Bates / Book Hardback
common.buy 95 864 Ft
Book of the Opening of the Mouth: Vol. II Sir E. A. Wallis Budge / Book Paperback
common.buy 31 359 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?