Formal Methods for Open Object-Based Distributed Systems IV: 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 - IFIP Advances in Information and Communication Technology 49 (Paperback)
  • Formal Methods for Open Object-Based Distributed Systems IV: 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 - IFIP Advances in Information and Communication Technology 49 (Paperback)
zoom

Formal Methods for Open Object-Based Distributed Systems IV: 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 - IFIP Advances in Information and Communication Technology 49 (Paperback)

(editor), (editor)
£173.50
Paperback 422 Pages / Published: 01/08/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781475710182
Number of pages: 422
Weight: 658 g
Dimensions: 235 x 155 x 22 mm
Edition: Softcover reprint of the original 1st ed. 200

You may also be interested in...

C++ For Dummies
Added to basket
£21.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Python in Easy Steps
Added to basket
Building Android Apps in Easy Steps
Added to basket
Python Cookbook: No. 3
Added to basket
BTEC Level 3 National IT Student Book 1
Added to basket
SQL For Dummies
Added to basket
£21.99
Paperback
Python for Data Science For Dummies
Added to basket
Code
Added to basket
£21.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
Designing Data-Intensive Applications
Added to basket
Coding for Beginners in easy steps
Added to basket
C++ All-in-One For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.