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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$583.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $145.75 with Afterpay Learn more

6 weekly interest-free payments of $97.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more IFIP Advances in Information and Communication Technology

See all products in this series

Precision Assembly Technologies for Mini and Micro Products on Hardback
$316.00
Precision Assembly Technologies for Mini and Micro Products
Hardback
Available - Usually ships in 3-4 weeks
Personal Wireless Communications on Hardback
$467.00
Personal Wireless Communications
Hardback
Available - Usually ships in 3-4 weeks
Formal Methods for Protocol Engineering and Distributed Systems on Hardback
$588.00
Formal Methods for Protocol Engineering and Distributed Systems
Hardback
Available - Usually ships in 3-4 weeks
Database Security XII on Hardback
$469.00
Database Security XII
Hardback
Available - Usually ships in 3-4 weeks
Smart Card Research and Advanced Applications on Hardback
$584.00
Smart Card Research and Advanced Applications
Hardback
Available - Usually ships in 3-4 weeks
Protocols for High-Speed Networks VI on Hardback
$581.00
Protocols for High-Speed Networks VI
Hardback
Available - Usually ships in 3-4 weeks
System Modelling and Optimization on Hardback
$454.00
System Modelling and Optimization
Hardback
Available - Usually ships in 3-4 weeks
Information Systems and Technology in the International Office of the Future on Hardback
$584.00
Information Systems and Technology in the International Office of the...
Hardback
Available - Usually ships in 3-4 weeks
Industrial Applications of Semantic Web on Hardback
$315.00
Industrial Applications of Semantic Web
Hardback
Available - Usually ships in 3-4 weeks
Electronic Design Automation Frameworks on Hardback
$467.00
Electronic Design Automation Frameworks
Hardback
Available - Usually ships in 3-4 weeks
From Geometric Modeling to Shape Modeling on Hardback
$451.00
From Geometric Modeling to Shape Modeling
Hardback
Available - Usually ships in 3-4 weeks
Computer and Computing Technologies in Agriculture, Volume I on Hardback
$467.00
Computer and Computing Technologies in Agriculture, Volume I
Hardback
Available - Usually ships in 3-4 weeks
New Developments in Distributed Applications and Interoperable Systems on Hardback
$600.00
New Developments in Distributed Applications and Interoperable Systems
Hardback
Available - Usually ships in 3-4 weeks
Facilitating Technology Transfer through Partnership on Hardback
$455.00
Facilitating Technology Transfer through Partnership
Hardback
Available - Usually ships in 3-4 weeks
Design Principles for Interactive Software on Hardback
$296.00
Design Principles for Interactive Software
Hardback
Available - Usually ships in 3-4 weeks
The Future of Identity in the Information Society on Hardback
$303.00
The Future of Identity in the Information Society
Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
January 17th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Alessandro Fantechi
  • Edited by Paolo Ciancarini
  • Edited by Roberto Gorrieri
Edition
Softcover reprint of the original 1st ed. 1999
Illustrations
XII, 436 p.
Pages
436
Dimensions
155x235x23
ISBN-13
9781475752663
Product ID
21843253

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 >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence