Formal Methods in Computer Science (Bog, Hardback, Engelsk) af Jiacun Wang
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Formal Methods in Computer Science

Formal Methods in Computer Science

(Bog, Hardback, Engelsk)
Forfatter: Jiacun Wang
Formal Methods in Computer Science
Forlag: Taylor & Francis Ltd

Bemærk: Kan ikke leveres før jul.

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Taylor & Francis Ltd
Forfatter Jiacun Wang
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 25-06-2019
Første udgivelsesår 2019
Serie Textbooks in Mathematics
Illustrationer 29 Tables, black and white; 154 Illustrations, black and white
Originalsprog United Kingdom
Sideantal 294
Indbinding Hardback
Forlag Taylor & Francis Ltd
Sideoplysninger 294 pages, 29 Tables, black and white; 154 Illustrations, black and white
Mål 234 x 156
ISBN-13 / EAN-13 9780367225704