Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / / edited by Fabio Fioravanti, John P. Gallagher |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 341 p. 59 illus.) |
Disciplina | 005.115 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Artificial intelligence Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Formal Languages and Automata Theory |
ISBN | 3-319-94460-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. |
Record Nr. | UNISA-996466194203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / / edited by Fabio Fioravanti, John P. Gallagher |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 341 p. 59 illus.) |
Disciplina | 005.115 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Artificial intelligence Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Formal Languages and Automata Theory |
ISBN | 3-319-94460-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. |
Record Nr. | UNINA-9910349418903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|