Formal Methods for Open Object-Based Distributed Systems IV Image close
Formal Methods for Open Object-Based Distributed Systems IV
Formal Methods for Open Object-Based Distributed Systems IV
Show Hide Adult Content
Formal Methods for Open Object-Based Distributed Systems IV close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

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
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$534.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $133.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more IFIP Advances in Information and Communication Technology

See all products in this series

Computer and Computing Technologies in Agriculture, Volume I on Hardback
$427.99
Computer and Computing Technologies in Agriculture, Volume I
Hardback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-based Distributed Systems on Hardback Save $25
$536.99
$562.95
Formal Methods for Open Object-based Distributed Systems
Hardback
Available - Usually ships in 3-4 weeks
Integrity and Internal Control in Information Systems on Hardback Save $6
$433.99
$440.95
Integrity and Internal Control in Information Systems
Hardback
Available - Usually ships in 3-4 weeks
Broadband Satellite Communication Systems and the Challenges of Mobility on Hardback Save $32
$271.99
$304.95
Broadband Satellite Communication Systems and the Challenges of...
Hardback
Available - Usually ships in 3-4 weeks
Artificial Intelligence in Theory and Practice II
$419.99
Artificial Intelligence in Theory and Practice II
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Information Processing II on Hardback
$422.99
Intelligent Information Processing II
Hardback
Available - Usually ships in 3-4 weeks
Achieving Quality in Software on Hardback
$555.99
Achieving Quality in Software
Hardback
Available - Usually ships in 3-4 weeks
Information Technology and Changes in Organizational Work on Hardback Save $24
$537.99
$562.95
Information Technology and Changes in Organizational Work
Hardback
Available - Usually ships in 3-4 weeks
Experimental Learning in Production Management on Hardback Save $46
$269.99
$316.95
Experimental Learning in Production Management
Hardback
Available - Usually ships in 3-4 weeks
Database Semantics on Hardback
$557.99
Database Semantics
Hardback
Available - Usually ships in 3-4 weeks
Architecture Description Languages on Hardback
$282.99
Architecture Description Languages
Hardback
Available - Usually ships in 3-4 weeks
Project E-Society: Building Bricks on Hardback Save $16
$296.99
$313.95
Project E-Society: Building Bricks
Hardback
Available - Usually ships in 3-4 weeks
Environmental Software Systems on Hardback
$535.99
Environmental Software Systems
Hardback
Available - Usually ships in 3-4 weeks
Protocols for High-Speed Networks VI on Hardback
$532.99
Protocols for High-Speed Networks VI
Hardback
Available - Usually ships in 3-4 weeks
Capacity Building for IT in Education in Developing Countries on Hardback
$416.99
$420.95
Capacity Building for IT in Education in Developing Countries
Hardback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems IV on Hardback
$555.99
Formal Methods for Open Object-Based Distributed Systems IV
Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
August 1st, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Carolyn L. Talcott
  • Edited by Scott F. Smith
Edition
Softcover reprint of the original 1st ed. 2000
Illustrations
XIV, 422 p.
Pages
422
Dimensions
155x235x22
ISBN-13
9781475710182
Product ID
21575870

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence