Cover Image
Read Now

1
by Roth, Andreas
Published 2006
KIT Scientific Publishing
Subjects: “...formal specification...”
Cover Image
Read Now

4
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

5
by Welch, Peter J.
Published 2007
Henry Stewart Talks
Cover Image
Read Now

6
by Adzic, Gojko
Published 2011
Manning
“...Specification by Example is a must read for anyone serious about delivering software that matters...”
Cover Image
Read Now

7
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

8
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

9
by The British Tunnelling Society
Published 2024
Emerald Publishing
“...The ebook edition of this title is Open Access and freely available to read online. Specification...”
Cover Image
Read Now

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

11
by Weiß, Benjamin
Published 2011
KIT Scientific Publishing
Subjects: “...software specification...”
Cover Image
Read Now

12
by Polak, Wolfgang
Published 1981
Springer
Cover Image
Read Now

13
Published 1974
SPIE
Cover Image
Read Now

15
by Alagar, V.S., Periyasamy, K.
Published 2011
Springer London
Table of Contents: “...Part I: Specification Fundamentals -- The Role of Specification -- Specification Activities...”
Cover Image
Read Now

16
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

17
by Polak, W.
Published 1981
Springer Berlin Heidelberg
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
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

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