Yazar
Yuri Gurevich
7 cilt bulundu.
Manfred Droste, Yuri Gurevich · Gordon and Breach Science Publishers
366 sayfa · 1993
Semantics / Programming languages (Electronic computers) / Programming languages (electronic computers)
Egon Börger, Erich Grädel, Yuri Gurevich · Springer
492 sayfa · 1997
Decidability (mathematical logic)
Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · Springer
626 sayfa · 2010
Softwarespezifikation / Komplexitätstheorie / Mathematische Logik / Symbolic and mathematical Logic / Berechenbarkeit
Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, Yuri Gurevich · Springer-Verlag
336 sayfa · 1994
Computer science / Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Bertrand Meyer, Yuri Gurevich · Springer London, Limited
Sayfa sayısı yok · 2007
Computer software, reliability / Computer software, quality control
Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok