Home > Constructing Correct Software
Constructing Correct Software
Book Informaton
Author
John Cooke
Series
Formal Approaches to Computing and Information Technology (FACIT)
Year of Publication
1998
Publisher
Springer London
City of Publication
London; New York
Pages
XIII, 395
Language
EN
ISBN
9783540761563, 9781447139850, 354076156X
ARI Id
1664340143653
Find on
This page has been accessed 4 times.
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |