Thinking Programs

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

by Wolfgang Schreiner
language: english
Publisher: Springer Nature Switzerland AG, October of 2021 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Thinking Programs

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

by Wolfgang Schreiner

Property Description
ISBN: 9783030805067
Publisher: Springer Nature Switzerland AG
Release Date: October of 2021
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Hardcover
Pages: 636
Format: Book
Collection: Texts & Monographs In Symbolic Computation
Categories: Books in English > Science > Mathematics
EAN: 9783030805067

BOOKS FROM THE SAME COLLECTION