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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Semantics of programming languages / Alberto Pettorossi |
Autore | PETTOROSSI, Alberto |
Edizione | [3. ed.] |
Pubbl/distr/stampa | Ariccia (RM) : Aracne, 2016 |
Descrizione fisica | 380 p. : ill. ; 24 cm |
Disciplina | 005.13 |
Collana | A01 |
Soggetto topico | Linguaggi di programmazione - Semantica |
ISBN | 978-88-548-9297-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996274243203316 |
PETTOROSSI, Alberto
![]() |
||
Ariccia (RM) : Aracne, 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|