5571 results in Programming Languages and Applied Logic
What is B?
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp xv-xxiv
-
- Chapter
- Export citation
Appendix E - Rules and Axioms
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 753-762
-
- Chapter
- Export citation
1 - Mathematical Reasoning
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 3-54
-
- Chapter
- Export citation
Introduction
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp xi-xi
-
- Chapter
- Export citation
Appendix D - Visibility Rules
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 743-752
-
- Chapter
- Export citation
7 - Constructing Large Abstract Machines
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 307-336
-
- Chapter
- Export citation
III - Programming
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 371-372
-
- Chapter
- Export citation
6 - Theory of Abstract Machines
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 283-306
-
- Chapter
- Export citation
I - Mathematics
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 1-2
-
- Chapter
- Export citation
12 - Constructing Large Software Systems
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 551-602
-
- Chapter
- Export citation
Appendix C - Definitions
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 725-742
-
- Chapter
- Export citation
8 - Examples of Abstract Machines
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 337-370
-
- Chapter
- Export citation
11 - Refinement
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 501-550
-
- Chapter
- Export citation
Contents
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp xxv-xxxiv
-
- Chapter
- Export citation
Index
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 775-779
-
- Chapter
- Export citation
IV - Refinement
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 499-500
-
- Chapter
- Export citation
3 - Mathematical Objects
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 123-224
-
- Chapter
- Export citation
2 - Set Notation
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 55-122
-
- Chapter
- Export citation
Foreword
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp ix-x
-
- Chapter
- Export citation
Appendix A - Summary of Notations
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 701-714
-
- Chapter
- Export citation