My Wish Lists Login / Join

Results for author 'Gerard Holzmann'

Refine Your Results

subjects

Computing & I.T.

2

Engineering & Technology

2

History

1

Reference, Information & Interdisciplinary Subjects

1

lists

All Books

2

availability

All Books

2

price

Over $100

2

formats

Paperbacks

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Mihaela Bobaru

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Mihaela Bobaru, Klaus Havelund and Gerard Holzmann

Paperback

$101.07

The Early History of Data Networks : Perspectives - Gerard J. Holzmann

The Early History of Data Networks

Perspectives

Gerard J. Holzmann and Björn Pehrson

Paperback

RRP $195.75

$166.25

15%
OFF

2 Results