عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 E358 2004
QA76
.
76
.
V47
E358
2004
کتابخانه
محل استقرار
3540399100
9783540399100
b566002
Verification:
[Book]
Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
edited by Nachum Dershowitz.
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg : Springer e-books
2004
Lecture Notes in Computer Science, 2772
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
Computer science.
Logic design.
Software engineering.
QA76
.
76
.
V47
E358
2004
edited by Nachum Dershowitz.
Nachum Dershowitz
مطالعه متن کتاب [Book]
Y
