Stock image for illustration purposes only - book cover, edition or condition may vary.
Z User Workshop, York, 1991
J.E. . Ed(S): Nicholls
€ 65.53
FREE Delivery in Ireland
Description for Z User Workshop, York, 1991
Paperback. Provides an overview of new developments in theoretical and practical aspects of Z. It should be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 408 pages, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 713.
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x : ~ 1 x ~ O· fx = x + ... Read more
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x : ~ 1 x ~ O· fx = x + ... Read more
Product Details
Format
Paperback
Publication date
1992
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
408
Condition
New
Series
Workshops in Computing
Number of Pages
408
Place of Publication
Berlin, Germany
ISBN
9783540197805
SKU
V9783540197805
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Z User Workshop, York, 1991