IfI-Bib

catalogue of the computer science department library

Goldschmidtstraße 7
--- opening hours --- Wednesday 2PM - 5PM
Thursday 10AM - 1PM

The spin model checker : primer and reference manual

Gerard J. Holzmann

description

No description

pages

N/A

Year published

nan

Publisher

Addison-Wesley

Issn

0-321-22862-6

Language

N/A

categories

X