|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Gerard J. Holzmann , Björn PehrsonPublisher: IEEE Computer Society Press,U.S. Imprint: IEEE Computer Society Press,U.S. Dimensions: Width: 18.10cm , Height: 2.00cm , Length: 24.10cm Weight: 0.592kg ISBN: 9780818667824ISBN 10: 0818667826 Pages: 304 Publication Date: 30 November 1994 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationGerard J. Holzmann is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. Björn Pehrson is the author of The Early History of Data Networks, published by Wiley. Tab Content 6Author Website:Countries AvailableAll regions |
||||