This is our Worldwide store.

Looks like you're in United States. You need a Worldwide address to shop on our Worldwide 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