Cover Image
Read Now

1
by Yuan, Soe -Tsyr
Published 2001
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

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

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

6
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Invariant Analyzer Tool -- Theorem Proving Based onProof Scores for Rewrite Theory Specifications of OTSs...”
Cover Image
Read Now

9
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

10
Published 2004
Springer US
Table of Contents: “... Specifications of an Embedded System Oriented to HW/SW Partitioning -- C-Based System Design -- SPACE: A Hardware...”
Cover Image
Read Now

11
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

12
by Meyer, Eric A.
Published 2012
O'Reilly Media
Table of Contents: “... Before and After Elements -- Summary -- 2.Specificity and the Cascade -- Specificity -- Declarations...”
Cover Image
Read Now

13
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... and Extension of Specifications -- Initial Correctness of Specifications -- Correctness of Specifications...”
Cover Image
Read Now

17
by Lai, Richard, Jirachiefpattana, Ajin
Published 1998
Springer US
“... descriptions of OSI protocol standards to be written, and allowing such specifications to be verified...”
Cover Image
Read Now

19
by Janicki, Ryszard, Lauer, Peter E.
Published 1992
Springer Berlin Heidelberg
“... specification and analysis of "true" concurrency without reduction to non-determinism. COSY theory is developed...”
Cover Image
Read Now

20
Published 1990
Springer London
Table of Contents: “...15. Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus...”