Skip to content
Texas A&M University Libraries
  • MyLibrary
  • Help

Libraries Catalog

Advanced
  • ZUM '97, the Z formal specific...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: International Conference of Z Users Reading, England, SpringerLink (Online service)
Other Authors: Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-, Till, David, 1942-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1997]
Series:Lecture notes in computer science ; 1212.
Subjects:
Z (Computer program language) > Congresses.
sémantique langage programmation.
langage spécification.
langage Z.
Z (Langage de programmation) > Congrès.
Z (Computer program language)
Z (programmeertaal)
Programmatuurtechniek.
Engenharia De Programacao (Software)
Z (langage de programmation) > Congrès.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
  • Holdings
  • Description
  • Table of Contents
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Cover Image
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /
Published 1998
Call Number: Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding eBook
Show all versions (2)
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...