Cover Image
Read Now

1
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1...”
Cover Image
Read Now

2
by Keil, Borivoj
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Data Bank LYSIS -- 3.2 Statistical Approach to Specificity -- 4 Standard Polypeptide Substrates -- 4.1...”
Cover Image
Read Now

3
by Nissanke, Nimal
Published 1999
Springer London
Table of Contents: “... -- 12. Algebraic Specification in CLEAR -- 12.1 Data Types and Systems -- 12.2 Views of Specifications...”
Cover Image
Read Now

4
by Luckham, David
Published 1990
Springer New York
Table of Contents: “... -- 0.3 Applying Anna -- 0.4 Environments for Programming with Specifications -- 0.5 Future Developments...”
Cover Image
Read Now

5
by Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...5. From Descriptive Specifications to Operational Ones -- 5.1 Transforming Specifications -- 5.2...”
Cover Image
Read Now

6
Published 1995
Springer US
Table of Contents: “... Lineage -- Specification of Cell Fate in the Vertebrate Retina -- Neurotrophins and Trk Receptors...”
Cover Image
Read Now

7
by Seeley, Ivor H.
Published 1968
Macmillan Education UK
Cover Image
Read Now

8
Published 1997
Springer US
“...Application Specific Processors is written for use by engineers who are developing specialized...”
Cover Image
Read Now

9
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...The RPC-memory specification problem problem statement -- The RPC-memory case study: A synopsis...”
Cover Image
Read Now

10
by Seeley, Ivor H.
Published 1976
Macmillan Education UK
Cover Image
Read Now

11
Published 1976
Springer US
Table of Contents: “...Opening Address -- The Phenomenon of Specificity in Plant Disease -- Tissue and Organ Specificity...”
Cover Image
Read Now

12
by Goldbloom, J.
Published 1989
Springer US
Table of Contents: “...I—Explaining Engineering Construction Specifications -- 1, Construction Contracts -- 2, Function...”
Cover Image
Read Now

13
by Ioannou, Adrian
Published 1984
Springer US
Table of Contents: “... Index: Vision Systems -- 2: Technical Specifications -- 2.1 Technical Specifications: Manufacturing...”
Cover Image
Read Now

14
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack...”
Cover Image
Read Now

15
by Alagar, V.S., Periyasamy, K.
Published 1998
Springer New York
Table of Contents: “...1 The Role of Specification -- 2 Specification Activities -- 3 Specification Qualities -- 4...”
Cover Image
Read Now

16
by Garrod, D. R.
Published 1978
Springer US
Cover Image
Read Now

17
Published 1984
Springer Netherlands
Table of Contents: “...Scientific Papers -- Introductory Remarks. Electrostatics and Specificity in Nucleic Acid Reactions...”
Cover Image
Read Now

18
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- On the relation of programs and computations to models of temporal logic -- Specification and verification...”
Cover Image
Read Now

19
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... for describing program behaviour -- The semantics of clear, a specification language -- An example...”
Cover Image
Read Now

20
by Polak, W.
Published 1981
Springer Berlin Heidelberg