Opening book details…
About this nonfiction
Verifying Concurrent Processes Using Temporal Logic (lecture Notes In Computer Science) by Brent T. Hailpern (auth.) 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
- Brent T. Hailpern (auth.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1982
- Language
- EN
- ISBN
- 9780387112053
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Programming
More by Brent T. Hailpern (auth.)
Browse all works by Brent T. Hailpern (auth.)
Similar books
- Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398) — Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (1989)
- Conclog: A Methodological Approach to Concurrent Logic Programming (Lecture Notes in Computer Science) — Jean-Marie Jacquet (auth.) (1991)
- Using Sophisticated Models In Resolution Theorem Proving (lecture Notes In Computer Science) — David M. Sandford (1980)
- Learning Language in Logic (Lecture Notes in Computer Science (1925)) — Sašo Džeroski, James Cussens, Suresh Manandhar (auth.), (2000)
- Lecture Notes in Computer Science: Group Theoretic Algorithms and Graph Isomorphism (Lecture Notes in Computer Science) — Christoph M. Hoffmann (1982)
- Temporal Databases: Research and Practice (Lecture Notes in Computer Science (1399)) — Iqbal A. Goralwalla, M. Tamer Özsu (auth.), Opher Etzion, Sushil Jajodia, Suryanarayana Sripada (1998)