Yuri Gurevich – författare

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

5 produkter

Kategorier

5 produkter

Semantics of Programming Languages and Model Theory
AvManfred Droste,Yuri Gurevich
Inbunden, Engelska, 1993
3 899 kr
Skickas inom 3-6 vardagar
Classical Decision Problem
AvEgon Börger,Erich Grädelm. fl.
Häftad, Engelska, 2001
2 549 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 Gurevichm. fl.
Häftad, Engelska, 1994
739 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. Kutterm. fl.
Häftad, Engelska, 2000
739 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
739 kr
Skickas inom 10-15 vardagar