Temporal Logics in Computer Science

Temporal Logics in Computer Science: Finite-State Systems تمت الكتابة بواسطة Stéphane Demri; Valentin Goranko; Martin Lange وتم النشر بواسطة Cambridge University Press. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Temporal Logics in Computer Science هي 9781316727164, 1316727165 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9781107028364, 1107028361. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Temporal Logics in Computer Science: Finite-State Systems تمت الكتابة بواسطة Stéphane Demri; Valentin Goranko; Martin Lange وتم النشر بواسطة Cambridge University Press. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Temporal Logics in Computer Science هي 9781316727164, 1316727165 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9781107028364, 1107028361. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.