Yuri Gurevich - Böcker

Visar alla böcker från författaren Yuri Gurevich.
6 produkter
Manfred Droste, Yuri Gurevich - Semantics of Programming Languages and Model Theory, Inbunden

Semantics of Programming Languages and Model Theory

Av Manfred Droste, Yuri Gurevich

Inbunden, Engelska, 1993

2 669 kr

Tillfälligt slut
Egon Börger, Erich Grädel, Yuri Gurevich - Classical Decision Problem, Häftad

Classical Decision Problem

Av Egon Börger, Erich Grädel, Yuri Gurevich

Häftad, Engelska, 2001

2 519 kr

Skickas inom 7-10 vardagar
Egon Börger, Yuri Gurevich, Karl Meinke - Computer Science Logic, Häftad
Del 832 - Lecture Notes in Computer Science

Computer Science Logic

Av Egon Börger, Yuri Gurevich, Karl Meinke

Häftad, Engelska, 1994

719 kr

Skickas inom 7-10 vardagar
Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele - Abstract State Machines - Theory and Applications, Häftad
Del 1912 - Lecture Notes in Computer Science

Abstract State Machines - Theory and Applications

Av Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Häftad, Engelska, 2000

739 kr

Skickas inom 7-10 vardagar
Bertrand Meyer, Yuri Gurevich - Tests and Proofs, Häftad

Tests and Proofs

Av Bertrand Meyer, Yuri Gurevich

Häftad, Engelska, 2007

739 kr

Skickas inom 7-10 vardagar
ROZENBERG G, Grzegorz Rozenberg, Arto Salomaa, Herbert Edelsbrunner, Hartmut Ehrig, Yuri Gurevich, J Hartmanis, J. Hartmanis - Current Trends In Theoretical Computer Science: Essays And Tutorials, Inbunden
Del 40 - World Scientific Series In Computer Science

Current Trends In Theoretical Computer Science: Essays And Tutorials

Av ROZENBERG G, Grzegorz Rozenberg, Arto Salomaa, Herbert Edelsbrunner, Hartmut Ehrig, Yuri Gurevich, J Hartmanis, J. Hartmanis

Inbunden, Engelska, 1993

3 399 kr

Tillfälligt slut