Scan barcode
216 pages • missing pub info (editions)
ISBN/UID: 9781846287695
Format: Paperback
Language: English
Publisher: Springer
Publication date: 01 January 2008
Description
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model ...
Community Reviews
Content Warnings
216 pages • missing pub info (editions)
ISBN/UID: 9781846287695
Format: Paperback
Language: English
Publisher: Springer
Publication date: 01 January 2008
Description
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model ...