Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

by Harel, David.

Material type: TextBook Publisher: Cambridge, Mass. : MIT Press, 2000Availability: Items available for loan: School of Computational & Integrative Science (1). Location(s): SC&IS 004.015113 H2229 Dy.

Place hold Log in to add tags Add to cart
Dyanamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn

by Harel, David.

Material type: TextBook Publisher: Cambridge: The MIT Press, 2000Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 004.015113 H2229 Dy.

Place hold Log in to add tags Add to cart
Pages
Untitled Document
Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021