Hoppa till sidans huvudinnehåll

Yuri Gurevich - Böcker

Visar alla böcker från författaren Yuri Gurevich.
5 produkter

Classical Decision Problem

AvEgon Börger,Erich Grädel m. fl.

Häftad, Engelska, 2001

2 429 kr

Skickas inom 10-15 vardagar

Computer Science Logic

7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

AvEgon Börger,Yuri Gurevich m. fl.

Häftad, Engelska, 1994

699 kr

Skickas inom 10-15 vardagar

Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

AvYuri Gurevich,Philipp W. Kutter m. fl.

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar

Tests and Proofs

First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

AvBertrand Meyer,Yuri Gurevich

Häftad, Engelska, 2007

719 kr

Skickas inom 10-15 vardagar

Del 40 - World Scientific Series In Computer Science

Current Trends In Theoretical Computer Science: Essays And Tutorials

AvROZENBERG G,Grzegorz Rozenberg m. fl.

Inbunden, Engelska, 1993

3 269 kr

Tillfälligt slut