Research Catalog

  • Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.

    • Text
    • New York, NY : Springer, c2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 06-677Offsite
  • Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.

    • Text
    • New York, NY : Springer, [2006], ©2006.
    • 2006-2006
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .Y83 2006gOff-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