Research Catalog

  • The imperative future : principles of executable temporal logic / edited by Howard Barringer ... [et al.].

    • Text
    • Taunton, Somerset, England : Research Studies Press ; New York : Wiley, c1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 96-1258Offsite
  • Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 89-1810Offsite
  • Advances in temporal logic / edited by Howard Barringer [and others].

    • Text
    • Dordrecht ; Boston : Kluwer Academic Publishers, [2000], ©2000.
    • 2000-2000
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.L63 A38 2000Off-site
  • Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1989], ©1989.
    • 1989-1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.S88 T42 1989Off-site
  • Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).

    • Text
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.S88 T42 1989Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta