AMS Bookstore LOGO amslogo
Items: 1 - 2 of 2       Page 1 of 1    Select page: 1    

Other works by: Author/Editor=(Holzmann_Gerard_J)

Search results display items in reverse chronological order.
AMS TextbooksAMS Applications-related Books
[1] The SPIN Verification System - Jean-Charles Grégoire, INRS-Telecommunications, and Gerard J. Holzmann and Doron A. Peled, Lucent Technologies, Editors - AMS | DIMACS, 1997, 203 pp., Hardcover, ISBN-10: 0-8218-0680-7, ISBN-13: 978-0-8218-0680-7, List: US$60, All AMS Members: US$48, DIMACS/32 [app-math-logo]
 
[2] Partial Order Methods in Verification - Doron A. Peled, Lucent Technologies, Vaughan R. Pratt, Stanford University, and Gerard J. Holzmann, Lucent Technologies, Editors - AMS | DIMACS, 1997, 403 pp., Hardcover, ISBN-10: 0-8218-0579-7, ISBN-13: 978-0-8218-0579-4, List: US$103, All AMS Members: US$82.40, DIMACS/29 [app-math-logo]
 

Items: 1 - 2 of 2       Page 1 of 1    Select page: 1