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 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

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: 82547 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

563 b

82 547 Ft

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

30-day return policy

Customers also purchased

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

Sheet

5 070 Ft

¡SUEÑA!

Hardback

7 635 Ft

Modely lásky Barry Vissell

Hardback

2 417 Ft

Burg Dublin Irland - 1.000 Teile (Puzzle)

Game

11 185 Ft

Silence Scorcese

Paperback

4 456 Ft

Faraonova šperkovnice Christa Holteiová

Paperback

2 519 Ft

Preži túto noc Riley Sager

Hardback

5 657 Ft

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

Paperback

18 996 Ft

Brillo en la tierra del cangaço

Paperback

22 439 Ft

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Hardback

19 421 Ft

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

Hardback

19 629 Ft

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

Board book

2 205 Ft

Mehr als Worte singt ein Lied Wilfried Koch

Paperback

9 364 Ft

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Paperback

6 637 Ft

UN AIR DE MÉTRO Sophie Bureau

Paperback

5 232 Ft

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

Hardback

20 840 Ft

Europa der Regionen. Joachim Bauer

Paperback

18 982 Ft

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Paperback

7 987 Ft

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

Paperback

6 272 Ft

A la caza de la realidad Mario Augusto Bunge

Paperback

18 247 Ft

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Paperback

25 998 Ft

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Paperback

17 267 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.