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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design

Formal Methods for Open Object-based Distributed Systems

Volume 1
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$526.99
RRP:
$562.95 save $35.96
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 $131.75 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
$415.99
Integrity and Internal Control in Information Systems
Hardback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems IV on Hardback
$545.99
Formal Methods for Open Object-Based Distributed Systems IV
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
Situational Method Engineering: Fundamentals and Experiences on Hardback Save $19
$269.99
$289.95
Situational Method Engineering: Fundamentals and Experiences
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
Intelligent Networks and Intelligence in Networks on Hardback
$538.99
Intelligent Networks and Intelligence in Networks
Hardback
Available - Usually ships in 3-4 weeks
Technology Enhanced Learning on Hardback Save $81
$136.99
$218.95
Technology Enhanced Learning
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
Formal Description Techniques VII on Hardback
$551.99
Formal Description Techniques VII
Hardback
Available - Usually ships in 3-4 weeks
Protocols for High-Speed Networks VI on Hardback
$523.99
Protocols for High-Speed Networks VI
Hardback
Available - Usually ships in 3-4 weeks

Description

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.
Release date Australia
November 30th, 1996
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by Elie Najm
  • Edited by Jean-Bernard Stefani
Illustrations
X, 412 p.
Pages
412
Dimensions
156x234x23
ISBN-13
9780412797705
Product ID
2050652

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 >
Theory & Design
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering
Books >
Computers & Internet >
Communications & Networking
Books >
Computers & Internet >
Computer Applications
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science
Books >
Computers & Internet >
Computer science >
Signal processing