Moshe Y. Vardi - Böcker
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
729 kr
Skickas inom 10-15 vardagar
1 309 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
729 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 449 kr
Skickas inom 10-15 vardagar
1 089 kr
Skickas inom 10-15 vardagar