Last edited by Daill
Sunday, July 19, 2020 | History

3 edition of Zum "95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 found in the catalog.

Zum "95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995

Proceedings (Lecture Notes in Computer Science)

  • 26 Want to read
  • 26 Currently reading

Published by Springer .
Written in English

    Subjects:
  • Programming languages,
  • Software engineering,
  • Logic Design,
  • Z (Programming Language),
  • Computers,
  • Computers - Languages / Programming,
  • Computer Books: Languages,
  • Science/Mathematics,
  • Z (Computer program language),
  • Programming - Software Development,
  • Computer Science,
  • Congresses

  • Edition Notes

    ContributionsJonathan P. Bowen (Editor), Michael G. Hinchey (Editor)
    The Physical Object
    FormatPaperback
    Number of Pages569
    ID Numbers
    Open LibraryOL9305516M
    ISBN 103540602712
    ISBN 109783540602712


Share this book
You might also like
Instructors Manual to Accompany Options

Instructors Manual to Accompany Options

Leigh Hunt

Leigh Hunt

Report for the year.

Report for the year.

Birds at my feeder

Birds at my feeder

The Nurses Role in the Prevention and Treatment of Child Abuse and Neglect (Child Abuse Prevention and Treatment Collection, Vol 10)

The Nurses Role in the Prevention and Treatment of Child Abuse and Neglect (Child Abuse Prevention and Treatment Collection, Vol 10)

manufacture of photogenic or hydro-carbon oils, from coal and other bituminous substances, capable of supplying burning fluids.

manufacture of photogenic or hydro-carbon oils, from coal and other bituminous substances, capable of supplying burning fluids.

Breast Cancer

Breast Cancer

Fibre art interior exterior.

Fibre art interior exterior.

History in the making

History in the making

Invitation to the Seventh International Congress of Master Printers, London, 23-27 Jul 1951.

Invitation to the Seventh International Congress of Master Printers, London, 23-27 Jul 1951.

Youth Task Group report.

Youth Task Group report.

The macrouroid fishes of the Philippine islands and the East Indies

The macrouroid fishes of the Philippine islands and the East Indies

Large newspaper printing presses and components thereof, whether assembled or unassembled, from Germany and Japan

Large newspaper printing presses and components thereof, whether assembled or unassembled, from Germany and Japan

Namaslay

Namaslay

The role of the Civil Service Commission in federal employment

The role of the Civil Service Commission in federal employment

Handbook of probability and statistics, with tables

Handbook of probability and statistics, with tables

Collected plays of Satish Alekar

Collected plays of Satish Alekar

Zum "95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Download PDF EPUB FB2