|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
EBOOKCENTRAL_ocn958527533 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr |n|---||||| |
| 008 |
160917s1998 nyu o 000 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d OCLCQ
|d LOA
|d OCLCO
|d OCLCF
|d K6U
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 020 |
|
|
|a 9781461216742
|
| 020 |
|
|
|a 1461216745
|
| 035 |
|
|
|a (OCoLC)958527533
|
| 050 |
|
4 |
|a QA76.6
|b .B335 1998
|
| 082 |
0 |
4 |
|a 005.1/4
|2 21
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Back, Ralph-Johan.
|
| 245 |
1 |
0 |
|a Refinement Calculus :
|b a Systematic Introduction.
|
| 250 |
|
|
|a N.
|
| 260 |
|
|
|a New York :
|b Springer New York,
|c 1998.
|
| 300 |
|
|
|a 1 online resource (513 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a GRADUATE TEXTS IN COMPUTER SCIENCE; REFINEMENT CALCULUS; Copyright; Preface; Contents; 1 Introduction; Part I Foundations; 2 Posets, Lattices, and Categories; 3 Higher-Order Logic; 4 Functions; 5 States and State Transformers; 6 Truth Values; 7 Predicates and Sets; 8 Boolean Expressions and Conditionals; 9 Relations; 10 Types and Data Structures; Part II Statements; 11 Predicate Transformers; 12 The Refinement Calculus Hierarchy; 13 Statements; 14 Statements as Games; 15 Choice Semantics; 16 Subclasses of Statements; 17 Correctness and Refinement of Statements.
|
| 505 |
8 |
|
|a Part III Recursion and Iteration18 Well-founded Sets and Ordinals; 19 Fixed Points; 20 Recursion; 21 Iteration and Loops; 22 Continuity and Executable Statements; 23 Working with Arrays; 24 The N-Queens Problem; 25 Loops and Two-Person Games; Part IV Statement Subclasses; 26 Statement Classes and Normal Forms; 27 Specification Statements; 28 Refinement in Context; 29 Iteration of Conjunctive Statements; Appendix; References; Index.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Calculus.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
6 |
|a Programmation (Informatique)
|
| 650 |
|
6 |
|a Calcul infinitésimal.
|
| 650 |
|
6 |
|a Logique informatique.
|
| 650 |
|
7 |
|a computer programming.
|2 aat
|
| 650 |
|
7 |
|a calculus.
|2 aat
|
| 650 |
|
7 |
|a Calculus
|2 fast
|
| 650 |
|
7 |
|a Computer logic
|2 fast
|
| 650 |
|
7 |
|a Computer programming
|2 fast
|
| 700 |
1 |
|
|a Gries, David.
|
| 700 |
1 |
|
|a Schneider, Fred B.
|
| 758 |
|
|
|i has work:
|a Refinement calculus (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGGh7G9vYkpjHFX4qjygTd
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Back, Ralph-Johan.
|t Refinement Calculus : A Systematic Introduction.
|d New York : Springer New York, ©1998
|z 9780387984179
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3076610
|z Texto completo
|
| 936 |
|
|
|a BATCHLOAD
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3076610
|
| 994 |
|
|
|a 92
|b IZTAP
|
