6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
List of Figures
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp ix-x
-
- Chapter
- Export citation
2 - Higher Order Logic and the HOL System
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 9-28
-
- Chapter
- Export citation
1 - Hardware Verification
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 1-8
-
- Chapter
- Export citation
Higher Order Logic and Hardware Verification
-
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993
6 - Temporal Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 97-128
-
- Chapter
- Export citation
4 - Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 47-68
-
- Chapter
- Export citation
3 - Hardware Verification using Higher Order Logic
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 29-46
-
- Chapter
- Export citation
A - The PSF Library
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 179-184
-
- Chapter
- Export citation
B - Syntax of PSF
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 185-188
-
- Chapter
- Export citation
7 - The Token Ring Protocol
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 161-178
-
- Chapter
- Export citation
6 - Two Simple Protocols for Local Area Networks
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 135-160
-
- Chapter
- Export citation
Contents
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp v-x
-
- Chapter
- Export citation
5 - The Amoeba Transaction Protocol
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 113-134
-
- Chapter
- Export citation
1 - Introduction
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 1-8
-
- Chapter
- Export citation
Algebraic Specification of Communication Protocols
-
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993
4 - Sliding Window Protocols
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 71-112
-
- Chapter
- Export citation
PREFACE
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp xi-xii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp i-iv
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 195-197
-
- Chapter
- Export citation
Module Index
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 193-194
-
- Chapter
- Export citation