Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Concrete Abstractions
- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Engelsk
Bogcover for Concrete Abstractions af Wolfgang Schreiner, 9783031249365
Specifikationer
Sprog:
Engelsk
Sider:
271
ISBN-13:
9783031249365
Indbinding:
Paperback
ISBN-10:
3031249364
Kategori:
Udg. Dato:
13 apr 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
13 apr 2024
Forfatter(e):

Concrete Abstractions

- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Engelsk
Paperback 2024
Format:

Bog beskrivelse
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;
... Vis mere

Forlags Vejl. pris
582,49 kr
Hos Booktok
453 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
271
ISBN-13:
9783031249365
Indbinding:
Paperback
ISBN-10:
3031249364
Kategori:
Udg. Dato:
13 apr 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
13 apr 2024
Forfatter(e):
Finder produkter...
Kategori sammenhænge