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

SAR574.64
(0) Write a Review
SKU:
9783030805067
UPC:
9783030805067

Product Description

ISBN: 9783030805067
TITLE: Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
AUTHOR: Wolfgang Schreiner
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 23 Oct 2021

Other Details

ISBN:
9783030805067
Author:
Wolfgang Schreiner
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:23 Oct 2021
Book Format:
Hardback