Lecture Notes in Computer Science 124 Compiler Specification and VerificationSpringer-Verlag · 1981

[Lecture Notes in Computer Science] Formal Systems Specification Volume 1169 || Constraint oriented temporal logic specificationBroy, Manfred; Merz, Stephan; Spies, Katharina · 1996

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Reusable specification componentsChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Specification & verification of higher order processesRovan, Branislav · 1990

Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for ApplicatSpringer-Verlag · 2004

[Lecture Notes in Computer Science] Logical Foundations of Computer Science — Tver '92 Volume 620 || MSL — A Mathematical Specification LanguageNerode, Anil; Taitslin, Mikhail · 1992

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 145 || An axiomatic approach to semantics of specification languagesCremers, Armin B.; Kriegel, Hans-Peter · 1982

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Algebraic specification languages: An overviewAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Specification and Design of Software Systems Volume 152 || Software structuring: A pragmatic approachKnuth, Elöd; Neuhold, Erich J. · 1983

[Lecture Notes in Computer Science] Specification and Design of Software Systems Volume 152 || Distributed computer systems: Two viewsKnuth, Elöd; Neuhold, Erich J. · 1983

[Lecture Notes in Computer Science] Specification and Design of Software Systems Volume 152 || Program design — A practical approachKnuth, Elöd; Neuhold, Erich J. · 1983

[Lecture Notes in Computer Science] Specification and Design of Software Systems Volume 152 || System cars and its description languageKnuth, Elöd; Neuhold, Erich J. · 1983

[Lecture Notes in Computer Science] Specification and Design of Software Systems Volume 152 || Sziam: A data model design aidKnuth, Elöd; Neuhold, Erich J. · 1983

[Lecture Notes in Computer Science] Specification and Design of Software Systems Volume 152 || Espreso — A system for process control software specificationKnuth, Elöd; Neuhold, Erich J. · 1983

[Lecture Notes in Computer Science] Specification and Design of Software Systems Volume 152 || On implementation problems of shared abstract data typesKnuth, Elöd; Neuhold, Erich J. · 1983