Program Development Using Refinement Logic
- ISBN 10 : CORNELL:31924004166959
- Judul : Program Development Using Refinement Logic
- Pengarang : Peter Vanderbilt,
- Kategori : Computer programming
- Bahasa : en
- Tahun : 1984
- Halaman : 171
- Google Book : http://books.google.co.id/books?id=yFRUAAAAYAAJ&dq=intitle:Logic+and+Legal+Reasoning&hl=&source=gbs_api
-
Ketersediaan :
... Concatenation and SubSequence.12 This is important because in reasoning about the use of a stack s , one often needs ... so POP ( s ) is legal only if s is a stack and s is not empty ; however the assertion language is not similarly ...