Fields of logic and computation

Name: Fields of logic and computation
Author: Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

by Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

Cover of Fields of logic and computation

Popularity 1

No description available.

SoftwarespezifikationKomplexitätstheorieMathematische LogikSymbolic and mathematical LogicBerechenbarkeitProgrammverifikationFormale MethodeInformation theoryComputer scienceAutomatentheorieMathematicsFormal methods (Computer science)