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.
A transfinite type theory with type variables / P.B. Andrews ; L.E.J. Brouwer...[et al.] (Eds.)
| A transfinite type theory with type variables / P.B. Andrews ; L.E.J. Brouwer...[et al.] (Eds.) |
| Autore | ANDREWS, P.B. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1965 |
| Descrizione fisica | XV, 143 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003228600203316 |
ANDREWS, P.B.
|
||
| Amsterdam : North-Holland, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abductive reasoning : Logical investigations into discovery and explanations / A. Aliseda
| Abductive reasoning : Logical investigations into discovery and explanations / A. Aliseda |
| Autore | Aliseda, Atocha |
| Pubbl/distr/stampa | Dordrecht : Springer, c2006 |
| Descrizione fisica | xvi, 225 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Synthese Library |
| Soggetto non controllato | Logica matematica |
| ISBN | 1-4020-3906-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008329690403321 |
|
Aliseda, Atocha
|
||
| Dordrecht : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract and concrete categories : the joy of cats / Jiri Adamek, Horst Herrlich, George E. Strecker
| Abstract and concrete categories : the joy of cats / Jiri Adamek, Horst Herrlich, George E. Strecker |
| Autore | Adamek, Jiri |
| Pubbl/distr/stampa | New York : J. Wiley & Sons, 1990 |
| Descrizione fisica | ix, 482 p. ; 27 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Herrlich, Horstauthor
Strecker, George E. |
| Collana | Pure and applied mathematics. A Wiley-Interscience series of texts, monographs, and tracts, 0079-8185 |
| Soggetto topico | Category theory |
| ISBN | 0471609226 |
| Classificazione |
AMS 18-01
AMS 18-XX LC QA169.A3199 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000643069707536 |
|
Adamek, Jiri
|
||
| New York : J. Wiley & Sons, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Abstract automata / Starke Peter H. ; Translated from the german by I. Shepherd
| Abstract automata / Starke Peter H. ; Translated from the german by I. Shepherd |
| Autore | STARKE, Peter H. |
| Pubbl/distr/stampa | Amsterdam : North Holland, 1972 |
| Descrizione fisica | 419 p. ; 22 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003226780203316 |
|
STARKE, Peter H.
|
||
| Amsterdam : North Holland, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract set theory / Abraham A. Fraenkel ; revised by Azriel Levy
| Abstract set theory / Abraham A. Fraenkel ; revised by Azriel Levy |
| Autore | Fraenkel, Abraham A. |
| Edizione | [4th revised ed] |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1976 |
| Descrizione fisica | X, 281 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | InsiemiTeoria |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018845 |
|
Fraenkel, Abraham A.
|
||
| Amsterdam : North-Holland, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Abstract set theory / Abraham A. Fraenkel ; L.E.J. Brouwer...[et al.] (Eds.)
| Abstract set theory / Abraham A. Fraenkel ; L.E.J. Brouwer...[et al.] (Eds.) |
| Autore | FRAENKEL, Abraham A. |
| Edizione | [fourth revised edition] |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1976 |
| Descrizione fisica | X, 281 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logica matematica |
| ISBN | 7204-0390-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003228930203316 |
|
FRAENKEL, Abraham A.
|
||
| Amsterdam : North-Holland, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract set theory / Abraham A. Fraenkel, Azriel Levy
| Abstract set theory / Abraham A. Fraenkel, Azriel Levy |
| Autore | Fraenkel, Abraham Adolf |
| Edizione | [4th rev. ed] |
| Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : American Elsevier, 1976 |
| Descrizione fisica | x, 279 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Levy, Azrielauthor |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 90 |
| Soggetto topico | Set theory |
| ISBN | 0444110321 |
| Classificazione |
AMS 04-XX
QA248.F74 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000643379707536 |
|
Fraenkel, Abraham Adolf
|
||
| Amsterdam : North-Holland ; New York : American Elsevier, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Abstract software specifications : 1979 Copenhagen Winter School : january 22 - February 2, 1979 : proceedings / edited by D. Bjorner
| Abstract software specifications : 1979 Copenhagen Winter School : january 22 - February 2, 1979 : proceedings / edited by D. Bjorner |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
| Descrizione fisica | XI, 566 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000350050203316 |
| Berlin : Springer Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNINA-9910143618703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNISA-996466355503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
