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.
Haskell'11 : proceedings of the 2011 ACM SIGPLAN Haskell Symposium, September 22, 2011, Tokyo, Japan
| Haskell'11 : proceedings of the 2011 ACM SIGPLAN Haskell Symposium, September 22, 2011, Tokyo, Japan |
| Autore | Claessen Koen |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (130 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0860-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Haskell'11 : proceedings of the 2011 Association for Computing Machinery Special Interest Group on Programming Languages Haskell Symposium, September 22, 2011, Tokyo, Japan
Proceedings of the 4th ACM Symposium on Haskell ICFP '11 ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan September 19-21, 2011 |
| Record Nr. | UNINA-9910376530203321 |
Claessen Koen
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA
| PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA |
| Autore | Claessen Koen |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (84 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Programming Languages meets Program Verification'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA
Proceedings of the sixth Workshop on Programming Languages Meets Program Verification |
| Record Nr. | UNINA-9910376151303321 |
|
Claessen Koen
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland / / edited by Koen Claessen and Viktor Kuncak
| Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland / / edited by Koen Claessen and Viktor Kuncak |
| Pubbl/distr/stampa | Austin, Texas : , : FMCAD, , 2014 |
| Descrizione fisica | 1 online resource (219 pages) |
| Soggetto topico |
Digital integrated circuits - Computer-aided design
Integrated circuits - Verification Formal methods (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996281002203316 |
| Austin, Texas : , : FMCAD, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland / / edited by Koen Claessen and Viktor Kuncak
| Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland / / edited by Koen Claessen and Viktor Kuncak |
| Pubbl/distr/stampa | Austin, Texas : , : FMCAD, , 2014 |
| Descrizione fisica | 1 online resource (219 pages) |
| Soggetto topico |
Digital integrated circuits - Computer-aided design
Integrated circuits - Verification Formal methods (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910135221203321 |
| Austin, Texas : , : FMCAD, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||