top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Compiler specification and verification / Wolfgang Polak
Compiler specification and verification / Wolfgang Polak
Autore Polak, Wolfgang
Pubbl/distr/stampa Berlin : Springer-Verlag, 1981
Descrizione fisica xiii, 269 p. : ill. ; 25 cm.
Disciplina 001.6425
Soggetto topico Compilers
Computer programs-verification
ISBN 3540108866
Classificazione AMS 68N20
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000764419707536
Polak, Wolfgang  
Berlin : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
An introduction to the PL/CV2 programming logic / R. L. Constable, S. D. Johnson, C. D. Eichenlaub
An introduction to the PL/CV2 programming logic / R. L. Constable, S. D. Johnson, C. D. Eichenlaub
Autore Constable, R. L.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1982
Descrizione fisica x, 292 p. : ill. ; 24 cm
Disciplina 001.6424
Altri autori (Persone) Eichenlaub, C. D.
Johnson, Scott D.author
Collana Lectures notes in computer science ; 135
Soggetto topico Computer programs-verification
PL/CV (Computer program language)
ISBN 3540114920
Classificazione AMS 68N15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001030139707536
Constable, R. L.  
Berlin : Springer-Verlag, 1982
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui