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 (29 chapters)
-
Formalizing Object-Oriented Methods
-
Open Distributed Processing I
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Open Object-based Distributed Systems
Book Subtitle: Volume 1
Editors: Elie Najm, Jean-Bernard Stefani
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-35082-0
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1997
Hardcover ISBN: 978-0-412-79770-5Published: 30 November 1996
eBook ISBN: 978-0-387-35082-0Published: 13 February 2016
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: X, 412
Topics: Software Engineering/Programming and Operating Systems, Computer Communication Networks, Signal, Image and Speech Processing