Formal Methods: Theory and Practice

(1989)
  Copy   BIBTEX

Abstract

This book is a self-contained exposition of formal methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardization.

Categories

Keywords

Reprint years

ISBN(s)

063201931X   0849371406
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.
Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.
The Logical Basis for Computer Programming: Deductive reasoning.Zohar Marra, Zohar Manna & Richard Waldinger - 1985 - Addison-Wesley Professional.
1st Irish Workshop on Formal Methods: Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997.Gerard O'regan, Sharon Flynn & British Computer Society - 1997 - Springer Verlag.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Solving Higher-Order Equations: From Logic to Programming.Christian Prehofer - 1998 - Springer Verlag.
Optimization and Computational Logic.Kenneth McAloon & Carol Tretkoff - 1996 - Wiley-Interscience.
Mathematical Foundations of Programming.Frank S. Beckman - 1981 - Boston and Reading, MA and Don Mills, Ontario: Addison-Wesley.
Automata, Languages and Programming.Werner Kuich - 1992 - Springer.
A Method of Programming.Edsger Wybe Dijkstra & W. H. J. Feijen - 1988 - Addison-Wesley Longman.
The Logic of Programming.Eric C. R. Hehner - 1984 - Prentice-Hall.
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning.Tom Richards - 1989 - Addison Wesley Publishing Company.
Logic for Computer Science.Steve Reeves & Michael Clarke - 1990 - Addison Wesley Publishing Company.

Analytics

Added to PP
2015-02-02

Downloads
2 (#1,755,150)

6 months
2 (#1,157,335)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references