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, Paperback / softback, 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 Paperback / softback
Sprog Engelsk
Udgave 2023 ed.
Udgivelsesdato 13-04-2024
Første udgivelsesår 2024
Serie Texts & Monographs in Symbolic Computation
Illustrationer 53 Illustrations, color; 26 Illustrations, black and white
Originalsprog Switzerland
Sideantal 271
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 271 pages, 53 Illustrations, color; 26 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031249365