Hoppa till sidans huvudinnehåll

Yuri Gurevich - Böcker

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

Semantics of Programming Languages and Model Theory

Av Manfred Droste, Yuri Gurevich

Inbunden, Engelska, 1993

2 629 kr

Tillfälligt slut

Classical Decision Problem

Av Egon Börger, Erich Grädel m. fl

Häftad, Engelska, 2001

2 459 kr

Skickas inom 10-15 vardagar

Computer Science Logic

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

Av Egon Börger, Yuri Gurevich m. fl

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar

Abstract State Machines - Theory and Applications

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

Av Yuri Gurevich, Philipp W. Kutter m. fl

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Tests and Proofs

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

Av Bertrand Meyer, Yuri Gurevich

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Del 40 - World Scientific Series In Computer Science

Current Trends In Theoretical Computer Science: Essays And Tutorials

Av ROZENBERG G, Grzegorz Rozenberg m. fl

Inbunden, Engelska, 1993

3 369 kr

Tillfälligt slut