Hoppa till sidans huvudinnehåll

Moshe Y. Vardi – författare

Visar alla böcker från författaren Moshe Y. Vardi.
5 produkter
Doron A. Peled, Moshe Y. Vardi - Formal Techniques for Networked and Distributed Systems - FORTE 2002, Häftad

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

AvDoron A. Peled,Moshe Y. Vardi

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Finite Model Theory and Its Applications, Inbunden

Finite Model Theory and Its Applications

AvErich Grädel,Phokion G. Kolaitism. fl.

Inbunden, Engelska, 2007

1 309 kr

Skickas inom 10-15 vardagar

Georg Gottlob, Moshe Y. Vardi - Database Theory - ICDT '95, Häftad

Database Theory - ICDT '95

5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

AvGeorg Gottlob,Moshe Y. Vardi

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Alan J. Hu, Moshe Y. Vardi - Computer Aided Verification, Häftad

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

AvAlan J. Hu,Moshe Y. Vardi

Häftad, Engelska, 1998

1 449 kr

Skickas inom 10-15 vardagar

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Finite Model Theory and Its Applications, Häftad

Finite Model Theory and Its Applications

AvErich Grädel,Phokion G. Kolaitism. fl.

Häftad, Engelska, 2014

1 089 kr

Skickas inom 10-15 vardagar