عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540490051
9783540490050
b566325
Static Analysis :
[Book]
First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 Proceedings
edited by Baudouin Charlier.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1994
Lecture Notes in Computer Science, 864
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 Baudouin Charlier.
Baudouin Charlier
مطالعه متن کتاب [Book]
Y
