Predicate calculus and program semantics View on Open Library

Predicate calculus and program semantics

by Edsger Wybe Dijkstra

No reviews yet
First published: 1990 1 language ISBN: 0387969578
Subjects
Predicate calculus Programming languages (Electronic computers) Semantics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Edsger Wybe Dijkstra

Logic of Programming and Calculi of Discrete Design

Logic of Programming and Calculi of Disc...

A primer of Algol 60 programming

A primer of Algol 60 programming

Selected Writings on Computing

Selected Writings on Computing

A primer of Algol 60 programming

A primer of Algol 60 programming

Predicate calculus and program semantics

Predicate calculus and program semantics

A Discipline of Programming by Edsger W. Dijkstra

A Discipline of Programming by Edsger W...

You Might Also Like

More in Predicate calculus
Beginning logic

Beginning logic

E. J. Lemmon
Two papers on the predicate calculus

Two papers on the predicate calculus

Stephen Cole Kleene
Technical Methods In Philosophy

Technical Methods In Philosophy

John Pollock
Büchi's monadic second order successor arithmetic

Büchi's monadic second order successor ...

Dirk Siefkes
Elements of Deductive Inference

Elements of Deductive Inference

Joseph Bessie
Subsystems of second-order arithmetic

Subsystems of second-order arithmetic

Stephen G. Simpson