Обложка книги The Spin Model Checker: Primer and Reference Manual

The Spin Model Checker: Primer and Reference Manual

,

ISBN: 0321228626; 978-0-321-22862-8;
Издательство: Addison Wesley Publishing Company