Formal Methods – The Next 30 Years [[electronic resource] ] : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / / edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXI, 774 p. 1687 illus., 92 illus. in color.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Algorithms Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-030-30942-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking Circus -- Model Checking -- Analysis Techniques -- Specification Languages -- Reasoning Techniques -- Modelling Languages -- Learning-Based Techniques and Applications -- Refactoring and Reprogramming- I-Day Presentations. |
Record Nr. | UNINA-9910349279803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods – The Next 30 Years [[electronic resource] ] : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / / edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXI, 774 p. 1687 illus., 92 illus. in color.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Algorithms Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-030-30942-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking Circus -- Model Checking -- Analysis Techniques -- Specification Languages -- Reasoning Techniques -- Modelling Languages -- Learning-Based Techniques and Applications -- Refactoring and Reprogramming- I-Day Presentations. |
Record Nr. | UNISA-996466438503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XV, 640 p. 142 illus. in color.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Artificial intelligence Computer science Machine theory Computer programming Compilers (Computer programs) Software Engineering Artificial Intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques Compilers and Interpreters |
ISBN | 3-662-48899-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466189803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XV, 640 p. 142 illus. in color.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Artificial intelligence Computer science Machine theory Computer programming Compilers (Computer programs) Software Engineering Artificial Intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques Compilers and Interpreters |
ISBN | 3-662-48899-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483086703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Quantitative Evaluation of Systems [[electronic resource] ] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / / edited by Annabelle McIver, Andras Horvath |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 423 p. 101 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence Computer simulation Machine theory Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science Artificial Intelligence Computer Modelling Formal Languages and Automata Theory |
ISBN | 3-319-99154-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466371103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Quantitative Evaluation of Systems [[electronic resource] ] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / / edited by Annabelle McIver, Andras Horvath |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 423 p. 101 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence Computer simulation Machine theory Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science Artificial Intelligence Computer Modelling Formal Languages and Automata Theory |
ISBN | 3-319-99154-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349412103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|