Yuri Gurevich – författare
Visar alla böcker från författaren Yuri Gurevich.
5 produkter
Semantics of Programming Languages and Model Theory
Av Manfred Droste, Yuri Gurevich
Inbunden, 1993
4069 kr
Lägg i varukorg
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, 1994
729 kr
Lägg i varukorg
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, 2000
729 kr
Lägg i varukorg
Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Av Bertrand Meyer, Yuri Gurevich
Häftad, 2007
729 kr
Lägg i varukorg