Gerard J. Holzmann

Gerard J. Holzmann

Edited by 

List price: US$44.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Gerard J. Holzmann is an American computer scientist, best known as the developer of the SPIN model checker. Holzmann was born in Amsterdam, Netherlands and received an Engineer's degree in Electrical Engineering from the Delft University of Technology in 1976. He subsequently also received his PhD degree from Delft University in 1979. For much of his career, Holzmann was at Bell Labs, USA, where he worked in the Computing Science Research Center.show more

Product details

  • Paperback | 92 pages
  • 152 x 229 x 6mm | 145g
  • Soph Press
  • United States
  • English
  • black & white illustrations
  • 6136277506
  • 9786136277509