Formal Methods in Computer Science (Bog, Paperback / softback, Engelsk) af Jiacun Wang
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Mængdelære
  5. Diskret matematik
  6. Informationsteknologi: generelle emner
  7. Informatik
  8. Formal Methods in Computer Science

Formal Methods in Computer Science

(Bog, Paperback / softback, Engelsk)
Forfatter: Jiacun Wang
Formal Methods in Computer Science
Forlag: Taylor & Francis Inc

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

Diskret matematik Informatik Informationsteknologi: generelle emner Mængdelære
  = 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 Inc
Forfatter Jiacun Wang
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 03-07-2019
Første udgivelsesår 2019
Serie Textbooks in Mathematics
Illustrationer 29 Tables, black and white; 154 Illustrations, black and white
Originalsprog United States
Sideantal 294
Indbinding Paperback / softback
Forlag Taylor & Francis Inc
Sideoplysninger 294 pages, 29 Tables, black and white; 154 Illustrations, black and white
Mål 156 x 231 x 24
ISBN-13 / EAN-13 9781498775328