Items related to Formal Methods for Open Object-Based Distributed Systems:...
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Product Description
Formal Methods for Open Object-based Distributed Systems: 3rd Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Methods for Open Object-Based Distributed Systems:...
Seller Image
Formal Methods for Open Object-Based Distributed Systems : Ifip Tc6/Wg6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (Fmoods) : February 15-18, 1999, Florence
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 757668-n
Quantity: Over 20 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 sup. Seller Inventory # 5970907
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792384298_new
Quantity: Over 20 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 452 pp. Englisch. Seller Inventory # 9780792384298
Quantity: 2 available
Seller Image
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
Published by
Springer US, Springer US, 1999
ISBN 10: 0792384296
ISBN 13: 9780792384298
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780792384298
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 452. Seller Inventory # 263069757
Quantity: 1 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems
Published by
Springer US, Springer US Feb 1999, 1999
ISBN 10: 0792384296
ISBN 13: 9780792384298
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch. Seller Inventory # 9780792384298
Quantity: 2 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 452 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 5859554
Quantity: 1 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems : Ifip Tc6/Wg6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (Fmoods) : February 15-18, 1999, Florence
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 757668-n
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190185272
Quantity: Over 20 available