Models and axioms for a fragment of real time process algebra /

محفوظ في:
التفاصيل البيبلوغرافية
OCLC:31625529
المؤلف الرئيسي: Klusener, Anton Stefanus
مؤلف مشترك: Technische Universiteit Eindhoven
اللغة:English
منشور في: Netherlands : Technische Universiteit Eindhoven, 1993.
الموضوعات:
Real-time processing.
Algebra.
Procesalgebra.
التنسيق:

أطروحة Monograph

Note that CRL will digitize material from the collection when copyright allows.

الوصف
وصف المادة:Vita.
Contains summary.
وصف مادي:x, 216 p. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references (p. 210-215)
مكان النشر:Netherlands.

مواد مشابهة