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

Huth, Michael; Ryan, Mark

 
9780521656023: Logic in Computer Science: Modelling and Reasoning about Systems

Inhaltsangabe

Introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems.

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

Weitere beliebte Ausgaben desselben Titels