Formal Methods for Open Object-Based Distributed Systems (IFIP International Federation for Information Processing)
Contributors: Paolo Ciancarini (Editor); Alessandro Fantechi (Editor); Roberto Gorrieri (Editor)
Edition: 1st edition
Publisher: Springer
Published: February 28, 1999
Language: eng
Format: Hardcover
Number of pages: 452
ISBN-13: 9780792384298
Subjects: Object-oriented programming (OOP); Management Information Systems; Congresses; Object-oriented programming (Computer science); Distributed Computer Systems; Formal Language Theory; Computers; Computers - Languages / Programming; Computer Books: Web Programming; Electronic data processing; Operating Systems - General; Programming - Object Oriented Programming; Computers / Computer Architecture; Computers / Programming / Object Oriented; Computers-Operating Systems - General; Object-oriented programming (Computer science; Computer Bks - Languages / Programming; Object-oriented programming (C; Distributed processing
First sentence: The object-oriented research community developed techniques, tools and environments that have been applied to several software development projects in the context of a wide range of application domains.