Research Catalog

  • FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.).

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-1857Offsite
  • Advances in object-oriented software engineering / edited by Dino Mandrioli and Bertrand Meyer.

    • Text
    • New York : Prentice Hall, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .A38 1992Off-site
  • Fundamentals of software engineering / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.

    • Text
    • Englewood Cliffs, NJ : Prentice Hall, [1991], ©1991.
    • 1991-1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .G47 1991Off-site
  • Fundamentals of software engineering / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.

    • Text
    • Upper Saddle River, N.J. : Prentice Hall, [2003], ©2003.
    • 2003-2003
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .G47 2003Off-site
  • Topics in artificial intelligence / edited by A. Marzollo.

    • Text
    • Wien ; New York : Springer, [1976]
    • 1976-1976
    • 1 Item
    FormatCall NumberItem Location
    Text Q335.5.xT6Off-site
  • Fundamentals of software engineering / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.

    • Text
    • Englewood Cliffs, NJ : Prentice Hall, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .G47 1991Off-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