Spar
Formal Methods in Computer Science
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
- Forfatter
- Jiacun Wang, Jiacun Wang
- ISBN
- 9781498775335
- Språk
- Engelsk
- Utgivelsesdato
- 21.6.2019
- Forlag
- CRC PRESS
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
