Tell your friends about this item:
Formal Methods for Open Object-based Distributed Systems: Volume 2 - IFIP Advances in Information and Communication Technology 1997 edition
Howard Bowman
Price
₪ 793
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 25 - Aug 5
Our customers say:
Add to your iMusic wish list
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 | Books Hardcover Book (Book with hard spine and cover) |
| Released | June 30, 1997 |
| ISBN13 | 9780412820403 |
| Publishers | Chapman and Hall |
| Pages | 470 |
| Dimensions | 155 × 235 × 26 mm · 857 g |
| Editor | Bowman, Howard |
| Editor | Derrick, John |
![Cover for Howard Bowman · Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Paperback Book) [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-book&class=scaled&v=1408610117)
![Cover for Howard Bowman · Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Hardcover Book) [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-book&class=scaled&v=1563505372)