Research Catalog

  • ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings / Didier Bert ... [et al.], (eds.).

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-1501Offsite
  • ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings / Didier Bert ... [et al.] (eds.)

    • Text
    • 2003
    • 2 Items
    FormatCall NumberItem Location
    Text Off-site
    Not available - Please for assistance.
    FormatCall NumberItem Location
    Text QA76.73.B155 I58 2003Off-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