Vai al contenuto principale della pagina

Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.] ; with the assistence of Arie de Bruin, Jeffrey Zucker



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: BJORNER, Dines Visualizza persona
Titolo: Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.] ; with the assistence of Arie de Bruin, Jeffrey Zucker Visualizza cluster
Pubblicazione: Englewood Cliffs : Prentice-Hall, copyr. 1982
Descrizione fisica: X, 501 p. : ill. ; 23 cm
Disciplina: 001.642
Soggetto topico: Elaboratori elettronici - Programmazione
Elaboratori elettronici - Linguaggi di programmazione
Altri autori: JONES, Cliff B.  
Persona (resp. second.): ANDREWS, Derek
Titolo autorizzato: Formal specification and software development  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000354630203316
Lo trovi qui: Univ. di Salerno
Collocazione: 001.6 SCS 10
001.6 SCS (3)
Opac: Controlla la disponibilità qui
Serie: Prentice-Hall International series in computer science
Fa parte di: -------
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui