1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Matematisk logik
  6. Symbolic Model Checking

Symbolic Model Checking

(Bog, Hardback, Engelsk)
Forfatter: Kenneth McMillan
Symbolic Model Checking
Forlag: Kluwer Academic Publishers

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Elektronik: kredse og komponenter Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Kluwer Academic Publishers
Forfatter Kenneth McMillan
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 31-07-1993
Første udgivelsesår 1993
Illustrationer Illustrations
Originalsprog United States
Sideantal 216
Indbinding Hardback
Forlag Kluwer Academic Publishers
Sideoplysninger 216 pages, Illustrations
Mål 230
ISBN-13 / EAN-13 9780792393801