Vista normal Vista MARC Vista ISBD

Diller, Antoni.

Z an introduction to formal methods / Antoni Diller - 2nd ed. - New York : John Wiley, 1994 - xix, 374 p. : il. ; 25 cm.

Incluye referencias bibliográficas

ISBN: 0471939730

Subjects--Topical Terms:
Z (Lenguaje de programacion para computadoras)
Métodos formales (Computación)

Subjects--Geographic Terms:
Métodos formales (Computación)

LC Class. No.: QA76.73.Z2 / D55 1994