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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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

Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Springer, Berlin
SKU: 01397625
Price: 79260 HUF
Availability: InStock
Author: Paolo Ciancarini
ISBN: 9780792384298

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Paolo Ciancarini

Alessandro Fantechi

Roberto Gorrieri

Language

English

Book Hardback

Libristo code: 01397625

Publishers Springer, Berlin, November 1998

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

Libristo code: 01397625

541 b

79 260 Ft

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Der GSV ist wieder da! Ulf Krämer

Paperback

4 589 Ft

Zap & Varini

Paperback

11 005 Ft

macchina del tempo-L'isola del dottor Moreau Herbert George Wells

Paperback

3 563 Ft

Ez van Vida Gusztáv

Hardback

3 322 Ft

Imunopatologické stavy v kazuistikách Zuzana a kol. Humlová

Hardback

6 272 Ft

Ueber Die Besoldungen Der Kirchen-Diener Philipp Albert Stapfer

Paperback

5 583 Ft

Děvky, šlapky, hampejznice / Dějiny prodejného sexu Kate Listerová

Hardback

5 408 Ft

JO VISC A...LLEIDA ROGER ROIG

Hardback

3 208 Ft

Nouveau Cours Complet d'Agriculture Theorique Et Pratique Contenant La Grande Et La Petite Culture THOUIN-A

Paperback

13 394 Ft

Hamlet, Prinz von Danemark (Grossdruck) William Shakespeare

Paperback

4 516 Ft

Materiales para las clases de espanol D

Paperback

3 956 Ft

Als die Ostfriesen frech geworden ... Walther Rohdich

Hardback

9 045 Ft

Causeries Sur l'Economie Politique Roblin-E

Paperback

7 756 Ft

Femme Du Banquier: Histoire Contemporaine. Tome 2 Baron Etienne Leon Lamothe-Langon

Paperback

11 504 Ft

Der Mensch lebt nicht vom Brot allein Lothar Pöll

Paperback

7 386 Ft

Die Spannungszahl. Claus Köhler

Paperback

4 853 Ft

Neue Formen und Bedingungen der Erwerbsarbeit in Frankreich. Armin Höland

Paperback

21 824 Ft

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated 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. §Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. §This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. §Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.