Wolfgang Schreiner Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Bog, Hardback, Engelsk)This book demonstrates how to formally model various mathematical domains (including... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Bog, Paperback / softback, Engelsk)This book demonstrates how to formally model various mathematical domains (including... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
