Logic in Computer Science: Modelling and Reasoning about Systems - Hardcover

Inhaltsangabe

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.