This is our South Africa store.

Looks like you're in United States. You need a South Africa address to shop on our South Africa store. Go to our United States store to continue.

Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions eBook by Wolfgang Schreiner

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Synopsis

About this book

  • Language:English
  • ISBN:9783030805074
  • Release date:Oct 23, 2021
  • Publisher:Springer International Publishing
  • Imprint:Springer
  • File format:EPUB3
  • File size:79.45 MB
  • Download options:EPUB3 (Adobe DRM)

In this series

Concrete Abstractions

Wolfgang Schreiner