Vista normal Vista MARC Vista ISBD

Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz, ed. - xv, 782 páginas : ilustraciones - Lecture notes in computer science ; 2772 . - Lecture notes in computer science .

ISBN: 3540210024

Subjects--Topical Terms:
Software para computadora--Verificación

LC Class. No.: QA76.76V47 / V46