1.

Record Nr.

UNINA990000515250403321

Autore

Turner, John G. <1946- >

Titolo

The construction of formal specifications : an introduction to the model-based and algebraic approaches / J. G. Turner, T. L. McCluskey

Pubbl/distr/stampa

London : McGraw-Hill, ©1994

ISBN

0-07-707735-0

Descrizione fisica

XII, 420 p. : ill. ; 24 cm

Collana

McGraw-Hill International Series in Software Engineering

Altri autori (Persone)

McCluskey, T. Lee <1957- >

Disciplina

005.1'2

Locazione

DINEL

Collocazione

10 P.T. 692

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia