Cover Image

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /

Show other versions (1)

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Colloquium on Temporal Logic in Specification
Other Authors:	Banieqbal, B. (Behnam), 1960-, Barringer, Howard, 1951-, Pnueli, Amir, 1941-2009
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1989.
Series:	Lecture notes in computer science ; 398.
Subjects:	System design. Logic, Symbolic and mathematical. démonstration théorème. théorie automate. système concurrent. vérification. spécification. logique temporelle. Systèmes, Conception de > Congrès. Logique symbolique et mathématique > Congrès. Logique > Congrès. Temporale Logik. Nebenläufigkeit. Softwarespezifikation. Altrincham <1987>. Electronic books. Electronic resources (Books) Kongress.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
Published: (2004)

Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /
Published: (1985)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
Published: (1968)

Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /
Published: (1996)

Introduction to mathematical logic /
by: Hermes, Hans
Published: (1973)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (1987)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
Published: (1981)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)

Mathematical logic in the 20th century /
Published: (2003)

Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings /
Published: (2002)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /
Published: (1998)

Term logic with choice operator.
by: Hermes, Hans
Published: (1970)

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers /
Published: (1994)

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published: (1996)

Proof and computation /
Published: (1995)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Published: (1995)

Automated deduction in classical and non-classical logics : selected papers /
Published: (2000)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
Published: (1981)

Formal systems and recursive functions /
Published: (1965)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
Published: (1995)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /
Published: (1998)