Certified programs and proofs [electronic resource] : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan)
|
| Titolo: |
Certified programs and proofs [electronic resource] : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
|
| Link to work: |
Certified programs and proofs
|
| Pubblicazione: |
Berlin ; New York : Springer, c2011
|
| Estensione: | 1 online resource (xv, 399 p.) |
| Disciplina: | 004.01/51 |
| Titolo uniforme di collana: | Lecture notes in computer science ; 7086. |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| Genere/Forma: | Electronic books |
| Index term-Uncontrolled: | Computer science |
| Software engineering | |
| Logic design | |
| Artificial intelligence | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Programming Languages, Compilers, Interpreters | |
| Symbolic and Algebraic Manipulation | |
| Artificial Intelligence (incl. Robotics) | |
| Soggetto non controllato: | Computer science |
| Software engineering | |
| Logic design | |
| Artificial intelligence | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Programming Languages, Compilers, Interpreters | |
| Symbolic and Algebraic Manipulation | |
| Artificial Intelligence (incl. Robotics) | |
| Termine d'indicizzazione-Occupazione: | Computer science |
| Software engineering | |
| Logic design | |
| Artificial intelligence | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Programming Languages, Compilers, Interpreters | |
| Symbolic and Algebraic Manipulation | |
| Artificial Intelligence (incl. Robotics) | |
| Classificazione LOC: | QA76.9.M35 C37 2011eb |
| Creatori/Collaboratori: | Jouannaud, Jean-Pierre |
| Shao, Zhong, , 1968- | |
| Note generali: | International conference proceedings. |
| Contenuto supplementare: | Includes bibliographical references and author index. |
| Restrizioni accesso: | Restricted for use by site license. |
| Forme fisiche agg.: | Also available in print. |
| Requisiti sistema: | Mode of access: World Wide Web. |
| Collana: | Lecture notes in computer science, 0302-9743 ; 7086 |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| ISBN: | 9783642253799 (electronic bk.) |
| 3642253792 (electronic bk.) | |
| 9783642253782 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9960089713503681 |
| Localizzazioni e accesso elettronico | http://hdl.library.upenn.edu/1017.12/1243930 |
| Lo trovi qui: | University of Pennsylvania |
| Item: | Permalink to OPAC |