Results for Moshe Y. Vardi

ISBN.nu

search for books and compare prices

Moshe Y. Vardi has written 6 work(s)

Search for other authors with the same name

displaying 1 to 6 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Finite Model Theory and Its Applications

By Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Marx Maarten and Moshe Y. Vardi

See complete details on each edition (2 editions listed)

Hardcover:

9783540004288 | Springer Verlag, June 3, 2007, cover price $109.00

Paperback:

9780072321500, titled "Criminology" | McGraw-Hill College, June 1, 2000, cover price $128.55 | also contains Criminology

Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings

Product Description: ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22-26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics...read more

By Lpar 2003 Alma-Ata ) (other contributor), Moshe Y. Vardi and Andrei Voronkov

See complete details on each edition (1 edition listed)

Paperback:

9783540201014 | Springer Verlag, September 1, 2003, cover price $129.00 | About this edition: ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?

Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 : Proceedings

Product Description: The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols...read more

By Doron A. Peled and Moshe Y. Vardi (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540001416 | Springer-Verlag New York Inc, December 1, 2002, cover price $109.00 | About this edition: The IFIP TC6 WG 6.

Database Theory - Icdt '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings