.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
4th Annual Z User Meeting
J.E. . Ed(S): Nicholls
€ 67.24
FREE Delivery in Ireland
Description for 4th Annual Z User Meeting
Paperback. Contains the latest developments in the theoretical and practical aspects of the computer programme Z. Topics include research on the formal notation of Z with descriptions of its application in industry, and Z tools and support environments. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 279 pages, 4 black & white illustrations, 3 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 15. Weight in Grams: 501.
The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by case studies with industry. Hence among early Z users some were from academic circles, with interests in the mathematical basis of programming; others came from industry and were involved with pilot projects and case studies linked with the Programming Research Group. Four years ago we had the first Z User Meeting, a fairly modest affair with representatives ... Read more
The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by case studies with industry. Hence among early Z users some were from academic circles, with interests in the mathematical basis of programming; others came from industry and were involved with pilot projects and case studies linked with the Programming Research Group. Four years ago we had the first Z User Meeting, a fairly modest affair with representatives ... Read more
Product Details
Format
Paperback
Publication date
1990
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
279
Condition
New
Series
Workshops in Computing
Number of Pages
279
Place of Publication
Berlin, Germany
ISBN
9783540196273
SKU
V9783540196273
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for 4th Annual Z User Meeting