Gå direkte til innholdet
Computer Aided Verification
Spar

Computer Aided Verification

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.
Undertittel
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Opplag
2011 ed.
ISBN
9783642221095
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
5.7.2011
Antall sider
763