عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540390340
9783540390343
b565928
Verifying Concurrent Processes Using Temporal Logic
[Book]
by Brent T. Hailpern.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1982
Lecture Notes in Computer Science, 129
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
Computer science.
Logic design.
by Brent T. Hailpern.
Brent T Hailpern
مطالعه متن کتاب [Book]
Y
