Copyright ©1998-2010 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Prentice Hall (August 1, 2002)
9780321143068 | details & prices | 384 pages | 7.75 × 9.00 × 0.50 in. | 1.25 lbs | List price $44.99
About: This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists.
About: This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists.