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:
Podrobná bibliografie
Korporace: Interactive Theorem Proving Edinburgh, Skotsko) (Autor), Automated Reasoning, Computer Aided Verification, Theory and Applications of Satisfiability Testing
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Heidelberg ; Springer, c2010
Edice:Lecture notes in computer science
Témata:
programovací jazyky
softwarové inženýrství
umělá inteligence
artificial intelligence
programming languages
software engineering
sborníky konferencí
proceedings of conferences
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
Obálka
Popis
Popis jednotky:Název z titulní obrazovky
Fyzický popis:1 CD-ROM
Typ dokumentu:Požadavky na systém: Adobe Acrobat Reader

Podobné jednotky