Journal of Logic, Language and Information

, Volume 16, Issue 1, pp 117–120

Logic in Computer Science: Modelling and Reasoning About Systems

Book review
  • 209 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, Inc. 2006

Authors and Affiliations

  1. 1.School of MathematicsUniversity of the WitwatersrandJohannesburgSouth Africa

Personalised recommendations