Books by

Nachum Dershowitz

 
 
 

Calendrical Calculations (Third Edition)	Calendrical Tabulations	The Evolution of Programs
Verification: Theory and Practice (Dedicated to Zohar Manna)	Pillars of Computer Science (Dedicated to Boaz Trakhtenbrot)	Fields of Logic and Computation (Dedicated to Yuri Gurevich)
Unconventional Computation (2009)	Logic in Computer Science (2012)	Language, Culture, Computation (Dedicated to Yaacov Choueka)
Logic for Programming, Artificial Intelligence and Reasoning (2007)	Conditional and Typed Rewriting Systems (1994)	Rewriting Techniques and Applications (1989)
Calendrical Calculations (First Edition)		Calendrical Calculations The Millenium Edition