Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June
تاريخ النشر: 30/03/1989
الناشر: Springer
ترجمة: Jacobus W de Bakker
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 728
مجلدات: 1
ردمك: 9783540510802