The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996. [electronic resource]

Další autoři:	Grégoire, Jean-Charles, editor Holzmann, Gerard J., editor Peled, Doron A., editor
Jazyk:	angličtina
Informace o vydání:	[Place of publication not identified] : American Mathematical Society, 1997.
Předmět:	SPIN (Computer file) -- Congresses Computer software -- Verification -- Congresses Electronic books
Druh dokumentu:	Bibliographies; Online; Non-fiction; Electronic document
Databáze:	Vybrané kolekce e-knih
Externí odkaz:	Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.