Liknande böcker

How to solve it : modern heuristics / Zbigniew Michalewicz, David B. Fog...
Bok av Zbigniew. Michalewicz
Interactive Theorem Proving and Program Development
Bok av Yves Bertot
Logics of Specification Languages
Bok av Dines Bjorner
Programming languages : design and implementation
Bok av Terrence W. Pratt
A Theory of Computer Semiotics : Semiotic Approaches to Construction and...
Bok av Peter Bøgh. Andersen
Theorem Proving in Higher Order Logics : 13th International Conference,...
Bok av Mark Aagaard
Automata and Computability
Bok av Dexter C Kozen
Real-Time Systems And Programming Languages: Ada, Real-Time Java, And C/...
Bok av Alan Burns

Goldblatt, R.: Axiomatising the Logic of Computer Programming

Bok av Goldblatt