The spin model checker : primer and reference manual /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Holzmann, Gerald J., 1951- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Boston : Addison-Wesley, c2004
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xii, 596 s.
ISBN:0-321-22862-6

Podobné jednotky