1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Numerisk analyse
  6. Matematik til informatikfag
  7. Matematikkens fundament
  8. Concrete Abstractions: Formalizing and Analyzing Discrete...

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

(Bog, Hardback, Engelsk)
Forfatter: Wolfgang Schreiner
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Forlag: Springer International Publishing AG

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematikkens fundament Matematik til informatikfag Matematisk logik Numerisk analyse
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

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;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfatter Wolfgang Schreiner
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2023 ed.
Udgivelsesdato 12-04-2023
Første udgivelsesår 2023
Serie Texts & Monographs in Symbolic Computation
Illustrationer 53 Illustrations, color; 26 Illustrations, black and white
Originalsprog Switzerland
Sideantal 271
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 271 pages, 53 Illustrations, color; 26 Illustrations, black and white
Mål 241 x 165 x 22
ISBN-13 / EAN-13 9783031249334