King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science - Böcker

Visar alla böcker från författaren King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science.

2 produkter

Kategorier

2 produkter

Del 40

Del 40 - Oxford Logic Guides

Temporal Logic: Volume 2

Av Dov M Gabbay, M. Finger m. fl

Inbunden, Engelska, 2000

5 409 kr

Skickas inom 7-10 vardagar

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Av Samson Abramsky, Dov M. Gabbay m. fl

Inbunden, Engelska, 2001

11 529 kr

Skickas inom 7-10 vardagar