Moshe Y. Vardi – författare

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

5 produkter

Kategorier

5 produkter

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
Finite Model Theory and Its Applications
AvErich Grädel,Phokion G. Kolaitism. fl.
Inbunden, Engelska, 2007
1 309 kr
Skickas inom 10-15 vardagar
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
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
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