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.
2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng
| 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (7 pages) |
| Disciplina | 005.131 |
| Soggetto topico |
Declarative programming
Cooperating objects (Computer systems) - Programming |
| ISBN | 1-5090-1150-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910332541503321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng
| 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (7 pages) |
| Disciplina | 005.131 |
| Soggetto topico |
Declarative programming
Cooperating objects (Computer systems) - Programming |
| ISBN | 1-5090-1150-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996575458603316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
23rd International Symposium on Principles and Practice of Declarative Programming : 6 - 8 September 2021 / / Niccolò Veltri, Nick Benton, Silvia Ghilezan
| 23rd International Symposium on Principles and Practice of Declarative Programming : 6 - 8 September 2021 / / Niccolò Veltri, Nick Benton, Silvia Ghilezan |
| Autore | Veltri Niccolò |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , [2021] |
| Descrizione fisica | 1 online resource (277 pages) : illustrations |
| Disciplina | 005.131 |
| Collana | ACM Conferences |
| Soggetto topico | Declarative programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510422803321 |
Veltri Niccolò
|
||
| New York : , : Association for Computing Machinery, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith
| 25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Record Nr. | UNISA-996465393403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
25 years of model checking : history, achievements, perspectives / / Orna Grumberg, Helmut Veith (eds.)
| 25 years of model checking : history, achievements, perspectives / / Orna Grumberg, Helmut Veith (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Altri autori (Persone) |
GrumbergOrna
VeithHelmut |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Computer systems - Verification |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Altri titoli varianti | Twenty-five years of model checking |
| Record Nr. | UNINA-9910767508103321 |
| Berlin, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
6th Conference on Automated Deduction [[electronic resource] ] : New York, USA, June 7-9, 1982 / / edited by D. W. Loveland
| 6th Conference on Automated Deduction [[electronic resource] ] : New York, USA, June 7-9, 1982 / / edited by D. W. Loveland |
| Edizione | [1st ed. 1982.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 |
| Descrizione fisica | 1 online resource (VII, 389 p.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Mathematical Logic and Formal Languages |
| ISBN | 3-540-39240-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Solving open questions with an automated theorem-proving program -- STP: A mechanized logic for specification and verification -- A look at TPS -- Logic machine architecture: Kernel functions -- Logic machine architecture: Inference mechanisms -- Procedure implementation through demodulation and related tricks -- The application of Homogenization to simultaneous equations -- Meta-level inference and program verification -- An example of FOL using metatheory -- Comparison of natural deduction and locking resolution implementations -- Derived preconditions and their use in program synthesis -- Automatic construction of special purpose programs -- Deciding combinations of theories -- Exponential improvement of efficient backtracking -- Exponential improvement of exhaustive backtracking: data structure and implementation -- Intuitionistic basis for non-monotonic logic -- Knowledge retrieval as limited inference -- On indefinite databases and the closed world assumption -- Proof by matrix reduction as plan + validation -- Improvements of a tautology-testing algorithm -- Representing infinite sequences of resolvents in recursive First-Order Horn Databases -- The power of the Church-Rosser property for string rewriting systems -- Universal unification and a classification of equational theories. |
| Record Nr. | UNISA-996466349003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A future for knowledge acquisition : 8th European knowledge acquisition workshop EKAW'94 : Hoegaarden, Belgium, September 26-29, 1994 : proceedings / Luc, Steels (eds)
| A future for knowledge acquisition : 8th European knowledge acquisition workshop EKAW'94 : Hoegaarden, Belgium, September 26-29, 1994 : proceedings / Luc, Steels (eds) |
| Autore | European knowledge acquisition workshop <8.; 1994; Hoegaarden> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c1994 |
| Descrizione fisica | XII, 413 p. : ill. ; 24 cm |
| Disciplina | 005.131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Logica matematica - Congressi - 1994
Intelligenza artificiale - Congressi - 1994 Congressi - Hoegaarden - 1992 |
| ISBN | 3-540-58487-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000579970203316 |
|
European knowledge acquisition workshop <8.; 1994; Hoegaarden>
|
||
| Berlin : Springer-Verlag, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa
| A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa |
| Autore | Dijkstra, Edsger W. |
| Pubbl/distr/stampa | Wokingham : Addison-Wesley, 1988 |
| Descrizione fisica | VIII, 188 p. ; 24 cm |
| Disciplina | 005.131 |
| Altri autori (Persone) | Feijen, W. H. J. |
| Soggetto non controllato |
Elaboratori elettroniciProgrammazione
Logica simbolica |
| ISBN | 0201175363 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000017141 |
|
Dijkstra, Edsger W.
|
||
| Wokingham : Addison-Wesley, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe
| Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 336 p. 93 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation |
| ISBN | 3-662-43652-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements. |
| Record Nr. | UNISA-996217774103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe
| Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 336 p. 93 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation |
| ISBN | 3-662-43652-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements. |
| Record Nr. | UNINA-9910483424803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
