top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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