Check order status

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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Open Object-Based Distributed Systems IV

Name: Formal Methods for Open Object-Based Distributed Systems IV
Brand: Springer, Berlin
SKU: 01397318
Price: 227.0 EUR
Availability: InStock
Author: Scott F. Smith
ISBN: 9780792379232

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith

Carolyn L. Talcott

Language

English

Book Hardback

Libristo code: 01397318

Publishers Springer, Berlin, November 1999

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Full description

Libristo code: 01397318

548 b

227.00 €

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Velké samolepky Dopravní prostředky - Aktivity s více než 80 samolepkami

Spiral bound

6.37 €

Brillo en la tierra del cangaço

Paperback

57.96 €

Mimi a Líza: Tmy sa nemusíš báť Katarína Kerekesová

Hardback

10.43 €

Hat der Entbindungsort einen Einfluss auf die Sterblichkeit von Neugeborenen Justice Ajaari

Paperback

49.04 €

Preži túto noc Riley Sager

Hardback

16.00 €

Faraonova šperkovnice Christa Holteiová

Paperback

7.08 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Hardback

49.95 €

message

Paperback

21.17 €

Silence Scorcese

Paperback

12.46 €

Vatikán a české země v letech 1914-1918 Marek Šmíd

Sheet

14.28 €

Modely lásky Barry Vissell

Hardback

6.78 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Paperback

44.58 €

Божественная комедия. В трёх томах Данте Алигьери

Hardback

63.33 €

¡SUEÑA!

Hardback

19.25 €

Iphigenie auf Tauris Johann Wolfgang Goethe

Paperback

4.55 €

Moje první knížka o mořích a oceánech Jane Newland

Board book

8.00 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Paperback

17.12 €

Mehr als Worte singt ein Lied Wilfried Koch

Paperback

24.21 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Game

31.51 €

UN AIR DE MÉTRO Sophie Bureau

Paperback

13.57 €

Güter und Ungüter. Hans G. Fuchs

Hardback

64.04 €

Europa der Regionen. Joachim Bauer

Paperback

64.04 €

Kinder und Fernsehen unter dem Aspekt von Gewaltwahrnehmung und Angstbewaltigung Eva Oestreich

Paperback

16.21 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Paperback

67.59 €

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. §Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.