Opening book details…
About this nonfiction
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398) by Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.) is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1989
- Language
- EN
- ISBN
- 9783540468110
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Computer Science
More by Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Browse all works by Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Similar books
- Verifying Concurrent Processes Using Temporal Logic (lecture Notes In Computer Science) — Brent T. Hailpern (auth.) (1982)
- Lecture Notes in Computer Science 124 Compiler Specification and Verification — Wolfgang Polak (1981)
- Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science / Lecture Notes in Artific) — Akihiro Yamamoto (auth.), Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (1989)
- Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science, 283) — G. Rosolini (auth.), David H. Pitt, Axel Poigné, David E. Rydeheard (1987)
- Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science (134)) — J. Staunstrup (auth.), Jørgen (1982)
- Logic Programming '87: Proceedings Of The 6th Conference Tokyo, Japan, June 22-24, 1987 (lecture Notes In Computer Science) — Joxan Jaffar, Jean-Louis Lassez (auth.), Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (1988)
