Crow’s Reads

Predicate Calculus and Program Semantics

by Edsger Wybe Dijkstra and Carel S. Scholten

First published 2011

Cover of Predicate Calculus and Program Semantics

Catalogue record

Springer · 240 pages

Publisher
Springer
Pages
240
ISBN
978-1-4612-3229-2
Full recordClose
Publisher
Springer
Pages
240
ISBN
  • 978-1-4612-3229-2
Author
Dijkstra, Edsger Wybe · Scholten, Carel S.
Statement
Predicate Calculus and Program Semantics / Edsger Wybe Dijkstra and Carel S. Scholten.
Records
Open Library