Formal Methods in Computer Science
Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang, William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart
Taylor & Francis Inc, 2019
128,95 €On orderDelivery: 2-3 weeks
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
- ISBN-13
- 9781498775328
- ISBN-10
- 1498775322
- Publisher
- Taylor & Francis Inc
- Year
- 2019
- Publication date
- 2019-07-03
- Pages
- 294
- Dimensions
- 156x231x24
- Weight
- 470