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.
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
| Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.). |
| Creatore | [CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan)] |
| Estensione | 1 online resource (xv, 399 pages). |
| Disciplina | 004.01/51 |
| Accesso persona |
Jouannaud, Jean-Pierre
Shao, Zhong, 1968- |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| 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) |
| ISBN |
9783642253799
3642253792 9783642253782 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | NYU-004372514 |
[CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
