Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

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 IV

Name: Formal Methods for Open Object-Based Distributed Systems IV
Brand: Springer, Berlin
SKU: 01397318
Price: 91261 HUF
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

612 b

91 261 Ft

In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Preži túto noc Riley Sager

Hardback

5 757 Ft

Modely lásky Barry Vissell

Hardback

2 461 Ft

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

Sheet

5 159 Ft

Silence Scorcese

Paperback

4 102 Ft

message

Paperback

7 250 Ft

Faraonova šperkovnice Christa Holteiová

Paperback

2 565 Ft

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

Board book

1 497 Ft

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

Paperback

19 332 Ft

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

Hardback

3 608 Ft

Brillo en la tierra del cangaço

Paperback

22 090 Ft

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

Spiral bound

2 313 Ft

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Hardback

19 762 Ft

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

Hardback

24 684 Ft

¡SUEÑA!

Hardback

7 699 Ft

Iphigenie auf Tauris Johann Wolfgang Goethe

Paperback

1 784 Ft

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Paperback

67 723 Ft

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Paperback

6 741 Ft

Mehr als Worte singt ein Lied Wilfried Koch

Paperback

9 518 Ft

Burg Dublin Irland - 1.000 Teile (Puzzle)

Game

11 292 Ft

UN AIR DE MÉTRO Sophie Bureau

Paperback

5 159 Ft

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

Hardback

22 999 Ft

Europa der Regionen. Joachim Bauer

Paperback

22 999 Ft

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

Paperback

6 385 Ft

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Paperback

26 449 Ft

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.