Predicate calculus and program semantics

by

220 pages

English language

Published June 27, 1990 by Springer-Verlag.

ISBN:
978-0-387-96957-2
Copied ISBN!

View on OpenLibrary

No rating (0 reviews)

1 edition

Subjects

  • Predicate calculus.
  • Programming languages (Electronic computers) -- Semantics.