Kurv Vare varer (tom)

Ingen varer

Fastlægges senere Forsendelse

0,- kr I alt

Kassen / rediger kurv

Varen er nu lagt i din kurv

Antal

I alt

Der er 0 varer i din kurv Der er 1 vare i din kurv

Varer i alt

Forsendelse i alt Fastlægges senere

I alt

Fortsæt indkøb

Wolfgang Schreiner Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Hardback

Viser 1 - 2 af 2

PRIS

698,- kr

FRAGT FRA 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Bog, Hardback, Engelsk)

Af: Wolfgang Schreiner

This book demonstrates how to formally model various mathematical domains (including... Læs mere

PRIS

698,- kr

FRAGT FRA 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

Læg i kurv
PRIS

644,- kr

FRAGT FRA 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Bog, Hardback, Engelsk)

Af: Wolfgang Schreiner

PRIS

644,- kr

FRAGT FRA 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

Læg i kurv

Viser 1 - 2 af 2