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.
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.
Produkteigenschaften
- Artikelnummer: 9780792384298
- Medium: Buch
- ISBN: 978-0-7923-8429-8
- Verlag: Springer US
- Erscheinungstermin: 28.02.1999
- Sprache(n): Englisch
- Auflage: 1999
- Serie: IFIP Advances in Information and Communication Technology
- Produktform: Gebunden
- Gewicht: 1780 g
- Seiten: 436
- Format (B x H x T): 160 x 241 x 29 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Informationstheorie, Kodierungstheorie
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Objektorientierte Programmierung
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Objektorientierte Programmierung