Hardcover Book Paperback Book
Show unavailable items

Releases by Howard Bowman

Cover for Howard Bowman · Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (Paperback Book) (2011)

Formal Methods for Distributed P... (2011)

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)

Softcover reprint of hardcover 1st ed. 2006 edition

Concurrency Theory: Calculi an A... (2010)

Cover for Howard Bowman · Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Hardcover Book) [2006 edition] (2005)

Concurrency Theory: Calculi an A... (2005)

Cover for Howard Bowman · Formal Methods for Open Object-based Distributed Systems: Volume 2 - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)

Formal Methods for Open Object-b... (1997)