Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (31 chapters)
-
OO Requirements Analysis and Design
-
Formal Specification (I)
-
Distributed Systems: ODP and CORBA (II)
-
Formal Specification (II)
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Open Object-based Distributed Systems
Book Subtitle: Volume 2
Editors: Howard Bowman, John Derrick
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-35261-9
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1997
Hardcover ISBN: 978-0-412-82040-3Published: 30 June 1997
eBook ISBN: 978-0-387-35261-9Published: 09 January 2016
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XII, 470
Topics: Computer Communication Networks, Signal, Image and Speech Processing
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications