Fortæl dine venner om denne vare:
Formal Methods for Open Object-based Distributed Systems: Volume 2 - IFIP Advances in Information and Communication Technology 1997 edition
Howard Bowman
Pris
€ 250,99
Bestilles fra fjernlager
Forventes klar til forsendelse 25. jul. - 1. aug.
Tilføj til din iMusic ønskeseddel
Eller
Formal Methods for Open Object-based Distributed Systems: Volume 2 - IFIP Advances in Information and Communication Technology 1997 edition
Howard Bowman
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. Many topics are discussed, including the following important areas: object oriented design and programming; formalisation of object oriented methods.
482 pages, biography
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 30. juni 1997 |
| ISBN13 | 9780412820403 |
| Forlag | Chapman and Hall |
| Antal sider | 470 |
| Mål | 155 × 235 × 26 mm · 857 g |
| Klipper/redaktør | Bowman, Howard |
| Klipper/redaktør | Derrick, John |
![Cover for Howard Bowman · Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/512/9781849969512.jpg?howard-bowman-2010-concurrency-theory-calculi-an-automata-for-modelling-untimed-and-timed-concurrent-systems-paperback-bog&class=scaled&v=1408610117)
![Cover for Howard Bowman · Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Hardcover bog) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/954/9781852338954.jpg?howard-bowman-2005-concurrency-theory-calculi-an-automata-for-modelling-untimed-and-timed-concurrent-systems-hardcover-bog&class=scaled&v=1563505372)