Fortell venner om denne varen:
Formal Methods for Open Object-based Distributed Systems: Volume 2 - IFIP Advances in Information and Communication Technology 1997 edition
Howard Bowman
Pris
DKK 1.499,20
Bestillingsvarer
Forventes levert 28. jul - 6. aug
Legg til iMusic ønskeliste
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. juni 1997 |
| ISBN13 | 9780412820403 |
| Utgivere | Chapman and Hall |
| Antall sider | 470 |
| Mål | 155 × 235 × 26 mm · 857 g |
| Redaktør | Bowman, Howard |
| Redaktør | Derrick, John |
![Cover for Howard Bowman · Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Pocketbok) [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-pocketbok&class=scaled&v=1408610117)
![Cover for Howard Bowman · Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Innbunden bok) [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-innbunden-bok&class=scaled&v=1563505372)