عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540475729
9783540475729
b566223
Computer Aided Verification :
[Book]
Fourth International Workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 Proceedings
edited by Gregor Bochmann, David Karl Probst.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1993
Lecture Notes in Computer Science, 663
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.
edited by Gregor Bochmann, David Karl Probst.
David Karl Probst
Gregor Bochmann
مطالعه متن کتاب [Book]
Y
