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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Object-oriented programming

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:

Hardback
$545.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 $136.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more IFIP Advances in Information and Communication Technology

See all products in this series

Intelligent Information Processing XII on Hardback
$173.99
Intelligent Information Processing XII
Hardback
Available - Usually ships in 3-4 weeks
Integrity and Internal Control in Information Systems on Hardback Save $14
$425.99
$440.95
Integrity and Internal Control in Information Systems
Hardback
Available - Usually ships in 3-4 weeks
Artificial Intelligence in Theory and Practice II
$411.99
Artificial Intelligence in Theory and Practice II
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer and Computing Technologies in Agriculture, Volume I on Hardback Save $6
$420.99
$427.95
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 $35
$526.99
$562.95
Formal Methods for Open Object-based Distributed Systems
Hardback
Available - Usually ships in 3-4 weeks
Intelligent Information Processing II on Hardback
$415.99
Intelligent Information Processing II
Hardback
Available - Usually ships in 3-4 weeks
Broadband Satellite Communication Systems and the Challenges of Mobility on Hardback Save $37
$266.99
$304.95
Broadband Satellite Communication Systems and the Challenges of...
Hardback
Available - Usually ships in 3-4 weeks
Environmental Software Systems on Hardback
$525.99
Environmental Software Systems
Hardback
Available - Usually ships in 3-4 weeks
Capacity Building for IT in Education in Developing Countries on Hardback Save $11
$408.99
$420.95
Capacity Building for IT in Education in Developing Countries
Hardback
Available - Usually ships in 3-4 weeks
Integrity and Internal Control in Information Systems on Hardback
$415.99
Integrity and Internal Control in Information Systems
Hardback
Available - Usually ships in 3-4 weeks
Architecture Description Languages on Hardback
$276.99
Architecture Description Languages
Hardback
Available - Usually ships in 3-4 weeks
Information Technology and Changes in Organizational Work on Hardback Save $34
$527.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 $51
$264.99
$316.95
Experimental Learning in Production Management
Hardback
Available - Usually ships in 3-4 weeks
Project E-Society: Building Bricks on Hardback Save $21
$291.99
$313.95
Project E-Society: Building Bricks
Hardback
Available - Usually ships in 3-4 weeks
Achieving Quality in Software on Hardback
$546.99
Achieving Quality in Software
Hardback
Available - Usually ships in 3-4 weeks
Distributed Applications and Interoperable Systems II on Hardback Save $5
$411.99
$417.95
Distributed Applications and Interoperable Systems II
Hardback
Available - Usually ships in 3-4 weeks

Description

This volume discusses the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. Papers included within focus on the following specific technologies: components; mobile code; Java; the Unified Modelling Language (UML); refinement of specifications; types and subtyping; and temporal and probabilistic systems.
Release date Australia
August 31st, 2000
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Carolyn L. Talcott
  • Edited by Scott F. Smith
Illustrations
XIV, 422 p.
Pages
422
Dimensions
156x234x23
ISBN-13
9780792379232
Product ID
3945175

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 >
Object-oriented programming
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 programming / software development >
Object-oriented programming (OOP)
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence