Laguna University Digital Library

Discover books, e-journals, theses, and special collections — all in one place.

Back
Thinking programs : logical modeling and reasoning about languages, data, computations, and executions

Thinking programs : logical modeling and reasoning about languages, data, computations, and executions

by Schreiner, Wolfgang

Published by: Switzerland : Springer , 2021

Sublocation
EGC
Call Number
005.101 Sch726t 2021
Physical Desc.
xxxiii, 636 p.
ISBN
978-3-030-80507-4
Copies
—
Login/Register to View or Download File