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 Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods for Open Object-Based Distributed Systems Gilles Barthe
Libristo code: 01567776
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2008
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Full description
? points 132 b
54.37 €
106.34  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов / Book Paperback
common.buy 23.93 € 46.80 лв
La Caída de Porthos Embilea,: El País de la Niebla 2 Galán / Book Paperback
common.buy 22.58 € 44.17 лв
Al final mueren los dos SILVERA / Book Paperback
common.buy 9.25 € 18.09 лв
Policarpo Bonilla / Book Paperback
common.buy 11.57 € 22.64 лв
Coming soon New
Ravenmaster Nina Blazon / Book Hardback
common.buy 18.40 € 35.98 лв
Polítiques d'inserció sociolaboral Rosell Morales / Book Paperback
common.buy 26.51 € 51.85 лв
Jóga Rhyner Hans H. / Book Paperback
common.buy 9.45 € 18.49 лв
Koruna Evropy Jaromír Zaoral / Book Hardback
common.buy 22.69 € 44.37 лв
QUI A TUE LE PETIT CANICHE Book Paperback
common.buy 15.29 € 29.91 лв
Návrat k Bohu Karl Jakob Hirsch / Book Hardback
common.buy 10.07 € 19.70 лв
Einführung in Body-Mind Centering Christine Mauch / Book Paperback
common.buy 39.90 € 78.04 лв
Argumente kontra Religion Gottfried Beyvers / Book Paperback
common.buy 17.67 € 34.56 лв
La isla en el horizonte Echavarría (Puerto Rico) / Book Paperback
common.buy 18.71 € 36.59 лв
Il principe. Audiolibro. CD Audio formato MP3 C. Carini / Book Paperback
common.buy 17.78 € 34.77 лв
Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas / Book Paperback
common.buy 26.51 € 51.85 лв
Ostatnia gra Yoshimury Marek Romanski / Book Paperback
common.buy 11.42 € 22.33 лв
Top
millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley / Book Paperback
common.buy 15.86 € 31.03 лв
O Bairro de Gonçalo M. Tavares Fabiano Cardoso / Book Paperback
common.buy 51.79 € 101.29 лв
Branche Versicherungen Gbi Genios / Book Paperback
common.buy 47.19 € 92.29 лв
Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog / Book Paperback
common.buy 52.51 € 102.70 лв
Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine / Book Hardback
common.buy 23.67 € 46.29 лв
Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider / Book Paperback
common.buy 17.10 € 33.45 лв
Kasta metabaronů Alexandro Jodorowsky; Juan Gimenez / Book Paperback
common.buy 48.53 € 94.92 лв

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.§The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

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 Gilles Barthe
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 259
EAN 9783540688624
ISBN 3540688625
Libristo code 01567776
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 427
Dimensions 155 x 235 x 16

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Operating systems
Computing & Information Technology > Computer networking & communications
Computing & Information Technology > Computer science
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

Passages from the diary of General Patrick Gordon of Auchleuchries. A.D. 1635- A.D. 1699 Gordon Patrick Gordon / Book Paperback
common.buy 22.43 € 43.87 лв
Re-Storying Education Roberts / Book Paperback
common.buy 23.10 € 45.18 лв
Nocona Shannon Gillette / Book Paperback
common.buy 22.01 € 43.06 лв
Warship 2 – Frigate HMS Leander 2 Jantinus Mulder / Book Paperback
common.buy 19.64 € 38.41 лв
Tattoo on my Brain Daniel Gibbs / Book Paperback
common.buy 12.14 € 23.75 лв
Coming soon
30-Second Maths Richard J. Brown / Book Paperback
common.buy 11.47 € 22.43 лв
Hybrid Drawing Techniques for Interior Design Jorge Paricio Garcia / E-book Adobe ePub DRM
common.buy 79.91 € 156.28 лв
Ancient Hebrew: Yeshua Revealed Al Garza / Book Paperback
common.buy 19.28 € 37.70 лв
You Can Count On It: A Mentor's Arithmetic Patterns For Elementary Students Alexander Zabriskie Warren / Book Paperback
common.buy 29.35 € 57.41 лв
Retrospeculation Ruth R Rains / Book Paperback
common.buy 10.33 € 20.21 лв
Daytona Beach Lifeguards Patti Light / Book Sheet
common.buy 9.92 € 19.40 лв
Chinese Medicine in Cancer Care: Herbs-Acupuncture-Qi gong-Nutrition-Prevention Niko Trian / Book Paperback
common.buy 35.51 € 69.44 лв
1000 Mixed Sudoku Puzzles for Smart Minds: Perfect as a Birthday Present - Puzzle Book with Solutions - 9x9 Tommy Wohlfahrt / Book Paperback
common.buy 14.83 € 29.00 лв
Friend in My Head: How to Set Your Goals For Success in Life Birdie Chesson / Book Paperback
common.buy 10.33 € 20.21 лв
Krechinsky's Wedding: A Comedy in Three Acts Alexander Sukhovo-Kobylin / Book Paperback
common.buy 20.26 € 39.62 лв
The Sultan Of Sulu: An Original Satire In Two Acts (1903) George Ade / Book Paperback
common.buy 22.17 € 43.36 лв
The High Crosses of Ireland J. Romilly Allen / Book Hardback
common.buy 36.33 € 71.06 лв
Auguste Comte: His Philosophy, His Religion And His Sociology Annie Besant / Book Paperback
common.buy 21.24 € 41.54 лв
Haitians Jean Casimir / Book Hardback
common.buy 120.17 € 235.04 лв
Kundalini Awakening Jenifer Williams / Book Paperback
common.buy 15.76 € 30.82 лв
Spurgeon on Prayer & Spiritual Warfare Charles Haddon Spurgeon / Book Hardback
common.buy 27.86 € 54.48 лв
In Praise of Copying Marcus Boon / Book Paperback
common.buy 28.58 € 55.90 лв
Cognition, Culture, and Political Momentum William Hirst / Book Hardback
common.buy 137.02 € 267.99 лв
Even Dogs in the Wild Ian Rankin / Book Paperback
common.buy 11.47 € 22.43 лв

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?