Buy Used and New HowardBowman Books

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

by Howard Bowman,Rodolfo Gomez

ISBN 13: 9781852338954

Format: Hardcover (422 pages)
Publisher: Springer
Published: 21 Dec 2005

Save for later

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

by

ISBN 13: 9780521168755

Format: Paperback (492 pages)
Publisher: Cambridge University Press
Published: 21 Jul 2011

Save for later

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

by

ISBN 13: 9780521771849

Format: Hardcover (490 pages)
Publisher: Cambridge University Press
Published: 22 Oct 2001
Other Format: Paperback

Save for later