Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Turner, John G. <1946- > Visualizza persona
Titolo: The construction of formal specifications : an introduction to the model-based and algebraic approaches / J. G. Turner, T. L. McCluskey Visualizza cluster
Pubblicazione: London : McGraw-Hill, ©1994
Descrizione fisica: XII, 420 p. : ill. ; 24 cm
Disciplina: 005.1'2
Soggetto non controllato: Ingegneria del software
Altri autori: McCluskey, T. Lee <1957- >  
Titolo autorizzato: Construction of formal specifications  Visualizza cluster
ISBN: 0-07-707735-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000515250403321
Lo trovi qui: Univ. Federico II
Collocazione: 10 P.T. 692
Opac: Controlla la disponibilità qui