Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.

    • Text
    • Berlin ; New York : Springer, [2007], ©2007.
    • 2007-2007
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.V47 V474 2007Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Hardware and software, verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 : proceedings / Hana Chockler ; Alan J. Hu (ed.)

    • Text
    • Berlin ; Heidelberg ; New York, NY : Springer, 2009.
    • 2009
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.V47 I54 2008gOff-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / Orna Grumberg [and others] (eds.).

    • Text
    • Berlin : Springer, 2009.
    • 2009
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .L383 2009gOff-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Proving programs correct / Robert B. Anderson.

    • Text
    • New York : Wiley, ©1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.A47Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • The design of well-structured and correct programs / Suad Alagić, Michael A. Arbib.

    • Text
    • New York : Springer-Verlag, ©1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.A44Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.

    • Text
    • Cambridge, Mass. : MIT Press, ©1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .S751Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Program construction and verification / Roland C. Backhouse.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall International, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .B28 1986Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall International, ©1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .B335Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.

    • Text
    • Berlin ; New York : Springer-Verlag, 1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.59 .G67Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • The spine of software: designing provably correct software : theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.

    • Text
    • Chichester : Wiley, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 B33 1987Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Scientific computation with automatic result verification / U. Kulisch and H.J. Stetter (eds.).

    • Text
    • Wien ; New York : Springer-Verlag, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA297 .S392 1988Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.5 .Z87 1989Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Software verification and validation : realistic project approaches / Michael S. Deutsch.

    • Text
    • Englewood Cliffs, New Jersey : Prentice-Hall, [1982]
    • 1982-1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .D48Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog.

    • Text
    • New York : Springer-Verlag, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.V47 A67 1991Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Program verification using Ada / Andrew D. McGettrick.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .M399Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

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