FM 2006 : Formal MethodsJayadev Misra
FM 2006 : Formal Methods
Jayadev Misra, Tobias Nipkow, Emil Sekerinski · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540372165
Data source: Wikidata
More by Jayadev Misra
A Discipline of MultiprogrammingJayadev Misra
A Discipline of Multiprogramming
Jayadev Misra · 2001
FM 2006Jayadev Misra
FM 2006
Jayadev Misra · 2006
A Discipline of MultiprogrammingJayadev Misra
A Discipline of Multiprogramming
Jayadev Misra · 2001
Effective Theories in Programming PracticeJayadev Misra
Effective Theories in Programming Practice
Jayadev Misra · 2022