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.
Logic and specification : extending VDM-SL for advanced formal specification / Cornelis A. Middelburg
| Logic and specification : extending VDM-SL for advanced formal specification / Cornelis A. Middelburg |
| Autore | Middelburg, Cornelis A. |
| Pubbl/distr/stampa | London [etc.], : Chapman & Hall computing, 1993 |
| Descrizione fisica | XI, 404 p. ; 24 cm |
| Disciplina |
005.13
005.131 |
| Collana | Computer science. Research and practice |
| Soggetto topico |
Elaboratori elettronici - Programmazione - Linguaggi
Linguaggi di programmazione - Semantica Logica simbolica Logica matematica |
| ISBN | 0412486806 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0396617 |
Middelburg, Cornelis A.
|
||
| London [etc.], : Chapman & Hall computing, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Logic of domains / Guo-Qiang Zhang
| Logic of domains / Guo-Qiang Zhang |
| Autore | Zhang, Guo-Qiang <1960- > |
| Pubbl/distr/stampa | Boston [etc.], : Birkhauser, 1991 |
| Descrizione fisica | 259 p. ; 24 cm |
| Disciplina | 005.13 |
| Collana | Progress in theoretical computer science |
| Soggetto topico |
Linguaggi di programmazione - Semantica
Logica simbolica Logica matematica |
| ISBN |
081763570X
376433570X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0050126 |
|
Zhang, Guo-Qiang <1960- >
|
||
| Boston [etc.], : Birkhauser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
| Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten |
| Autore | Dijkstra, Edsger Wybe |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, c1990 |
| Descrizione fisica | X, 220 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Scholten, Carel S. |
| Collana | Texts and monographs in computer science |
| Soggetto topico | Linguaggi di programmazione - Semantica |
| ISBN |
0387969578
3540969578 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0030072 |
|
Dijkstra, Edsger Wybe
|
||
| New York [etc.], : Springer-Verlag, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Semantics with applications : a formal introduction / Hanne Riis Nielson ; Flemming Nielson
| Semantics with applications : a formal introduction / Hanne Riis Nielson ; Flemming Nielson |
| Autore | Nielson, Hanne Riis <1954- > |
| Pubbl/distr/stampa | Chichester [etc.], : J. Wiley & Sons, c1992 |
| Descrizione fisica | XII, 240 p. ; 24 cm |
| Disciplina | 005.13 |
| Altri autori (Persone) | Nielson, Flemming <1955- > |
| Collana | Wiley professional computing |
| Soggetto topico | Linguaggi di programmazione - Semantica |
| ISBN | 0471929808 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO0040650 |
|
Nielson, Hanne Riis <1954- >
|
||
| Chichester [etc.], : J. Wiley & Sons, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The formal semantics of programming languages : an introduction / Glynn Winskel
| The formal semantics of programming languages : an introduction / Glynn Winskel |
| Autore | Winskel, Glynn |
| Pubbl/distr/stampa | Cambridge (Mass.) ; London, : MIT press, c1993 |
| Descrizione fisica | XVIII, 361 p. ; 23 cm. |
| Disciplina |
005.13
005.131 |
| Collana | Foundations of computing series |
| Soggetto topico | Linguaggi di programmazione - Semantica |
| ISBN |
0262231697
0262731037 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO0237725 |
|
Winskel, Glynn
|
||
| Cambridge (Mass.) ; London, : MIT press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
