Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
by John Cooke
1999395 pages
Springer·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT)) (1999)
Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT)) (1999)
Springer
Springer
Paperback
ISBN 10: 354076156X
ISBN 13: 9783540761563