Hoare logic for GOLOG programs
by Yongmei Liu
2000106 pages
University of Toronto, Dept. of Computer Science·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
Hoare logic for GOLOG programs. (2000)
Hoare logic for GOLOG programs. (2000)
University of Toronto, Dept. of Computer Science
University of Toronto, Dept. of Computer Science
ISBN 10: 0612503496