ITP 2010 IJCAR 2010.^^CAV 2010.^^SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings.^^Time for verification : essays in memory of Amir Pnueli
Uloženo v:
| Korporace: | , , , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Heidelberg ;
Springer,
c2010
|
| Edice: | Lecture notes in computer science
|
| Témata: | |
| Příbuzné jednotky: | Tištěná verze::
Interactive Theorem Proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings Tištěná verze:: Automated Reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings Tištěná verze:: Computer Aided Verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings Tištěná verze:: Theory and Applications of Satisfiability Testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings Tištěná verze:: Time for verification : essays in memory of Amir Pnueli |
| Popis jednotky: | Název z titulní obrazovky |
|---|---|
| Fyzický popis: | 1 CD-ROM |
| Typ dokumentu: | Požadavky na systém: Adobe Acrobat Reader |