✦ LIBER ✦

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || OCL Extended with Temporal Logic

✍ Scribed by Broy, Manfred; Zamulin, Alexandre V.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Pers

✍ Broy, Manfred; Zamulin, Alexandre V. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 110 KB

[Lecture Notes in Computer Science] Pers

✍ Broy, Manfred; Zamulin, Alexandre V. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 135 KB

[Lecture Notes in Computer Science] Logi

✍ Clarke, Edmund; Kozen, Dexter 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 944 KB

[Lecture Notes in Computer Science] Pers

✍ Bjørner, Dines; Broy, Manfred; Pottosin, Igor V. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 713 KB

[Lecture Notes in Computer Science] Temp

✍ Gabbay, Dov M.; Ohlbach, Hans Jürgen 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 German ⚖ 996 KB

Dov M. Gabbay, Hans J. Ohlbach (eds.). Includes Bibliiographical References And Index.

[Lecture Notes in Computer Science] Pers

✍ Pnueli, Amir; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 290 KB