عنوان
پدید آورنده
موضوع
رده
QA76.6 E358 1993
QA76
.
6
E358
1993
کتابخانه
محل استقرار
3540480560
9783540480563
b566261
Formal Methods in Programming and Their Applications :
[Book]
International Conference Academgorodok, Novosibirsk, Russia June 28 - July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1993
Lecture Notes in Computer Science, 735
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
.
6
E358
1993
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Dines Bjørner
Igor V Pottosin
Manfred Broy
مطالعه متن کتاب [Book]
Y
