Cover Image

Industrial-Strength Formal Methods in Practice /

Show other versions (1)

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introducti...

Full description

Bibliographic Details
Main Author:	Hinchey, Michael G.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bowen, Jonathan P.
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint : Springer, 1999.
Series:	Formal Approaches to Computing and Information Technology (FACIT)
Subjects:	Computer science. Software engineering. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE) /
by: Ehrig, Hartmut
Published: (1985)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium /
by: Ehrig, Hartmut
Published: (1987)

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings /
by: Nielson, Hanne R.
Published: (1996)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Fairness /
by: Francez, Nissim
Published: (1986)

Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994. Proceedings /
by: Sannella, Donald
Published: (1994)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Specification of Software Systems /
by: Alagar, Vangalur S., 1940-
Published: (1998)

Algebraic Specifications in Software Engineering : an Introduction /
by: Horebeek, Ivo
Published: (1989)

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
by: Nicholls, J. E.
Published: (1992)

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
by: Hutter, Dieter
Published: (1999)

MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics /
by: Blikle, Andrzej
Published: (1987)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Categorical Methods in Computer Science : With Aspects from Topology /
by: Ehrig, Hartmut
Published: (1989)

Algebraic Foundations of Systems Specification /
by: Astesiano, Egidio
Published: (1999)

Language Constructs for Describing Features : Proceedings of the FIREworks workshop /
by: Gilmore, Stephen
Published: (2001)

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics /
by: Ehrig, Hartmut
Published: (1985)

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints /
by: Ehrig, Hartmut
Published: (1990)

Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30, 1989 Proceedings /
by: Snepscheut, Jan L. A. van de
Published: (1989)

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /
by: Maurer, F. (Frank)
Published: (2003)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 /
by: Paternó, Fabio
Published: (1995)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and /
by: Ehrig, Hartmut
Published: (1985)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

The Illiac IV : The First Supercomputer /
by: Hord, R. Michael
Published: (1982)

Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 /
by: Nicholls, John E.
Published: (1990)

Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings /
by: Main, Michael G.
Published: (1990)

CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings /
by: Franchi-Zannettacci, P. (Paul)
Published: (1986)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)

Computability /
by: Weihrauch, Klaus
Published: (1987)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Specification and Transformation of Programs : a Formal Approach to Software Development /
by: Partsch, Helmut A.
Published: (1990)