Numerical Software Verification [[electronic resource] ] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (VII, 107 p. 21 illus.) |
Disciplina | 004.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer networks Machine theory Application software Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks Formal Languages and Automata Theory Computer and Information Systems Applications Artificial Intelligence |
ISBN | 3-319-54292-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). |
Record Nr. | UNISA-996466082203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (VII, 107 p. 21 illus.) |
Disciplina | 004.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer networks Machine theory Application software Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks Formal Languages and Automata Theory Computer and Information Systems Applications Artificial Intelligence |
ISBN | 3-319-54292-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). |
Record Nr. | UNINA-9910483345603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Static Analysis [[electronic resource] ] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings / / edited by Radhia Cousot, Matthieu Martel |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 473 p. 131 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-642-15769-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465951003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Static analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings / / Radhia Cousot, Matthieu Martel (eds.) |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
Descrizione fisica | 1 online resource (XI, 473 p. 131 illus.) |
Disciplina | 005.1 |
Altri autori (Persone) |
CousotRadhia
MartelMatthieu |
Collana |
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
ISBN | 3-642-15769-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483871903321 |
Berlin ; ; New York, : Springer, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|