Moshe Y. Vardi – författare
Visar alla böcker från författaren Moshe Y. Vardi.
5 produkter
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
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar
1 289 kr
Skickas inom 10-15 vardagar
Database Theory - ICDT '95
5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
Häftad, Engelska, 1995
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Häftad, Engelska, 1998
1 429 kr
Skickas inom 10-15 vardagar
1 079 kr
Skickas inom 10-15 vardagar