Articoli correlati a Formal Methods for Open Object Based Distribution Systems:...
Sinossi
This book 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Preface. Committee members and invited speakers. List of referees. Part One: Mobility and Pi-calculus. Part Two: Concurrent OO specification and programming. Part Three: Actors. Part Four: Distributed systems: ODP and CORBA (I). Part Five: OO requirements analysis and design. Part Six: Formal specification (I). Part Seven: Subtyping and inheritance. Part Eight: Distributed systems: ODP and CORBA (II). Part Nine: Formal specification (II). Index of contributors. Keyword index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreChapman & Hall
- Data di pubblicazione1997
- ISBN 10 0412820404
- ISBN 13 9780412820403
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine470
- RedattoreBowman Howard, Derrick John
Compra nuovo
Visualizza questo articolo
EUR 128,42
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Formal Methods for Open Object Based Distribution Systems:...
Foto dell'editore
Formal Methods For Open Object-based Distributed Systems, Volume 2
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-85753
Quantità: 1 disponibili
Foto dell'editore
Formal Methods For Open Object-based Distributed Systems, Volume 2
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Excellent Customer Service. Codice articolo ABEJUNE24-91783
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Open Object-Based Distributed Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 488. Codice articolo 263062638
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Open Object-Based Distributed Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 488 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 5833905
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Open Object-Based Distributed Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 488. Codice articolo 183062628
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580181233
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780412820403_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Open Object-Based Distributed Systems: Volume 2
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. This book 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 ca. Codice articolo 458435442
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. Like New. book. Codice articolo ERICA75804128204045
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods for Open Object-Based Distributed Systems : Volume 2
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware - This book 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. Codice articolo 9780412820403
Quantità: 2 disponibili