Items related to ZUM '98: The Z Formal Specification Notation: 11th...
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings: 1493 (Lecture Notes in Computer Science, 1493) - Softcover
This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1998
- ISBN 10 3540650709
- ISBN 13 9783540650706
- BindingPaperback
- Number of pages440
- EditorBowen Jonathan P., Fett Andreas, Hinchey Michael G.
Top Search Results from the AbeBooks Marketplace
Seller Image
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science (1493)) by Bowen, Jonathan P., Fett, Andreas, Hinchey, Michael G. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540650706
Buy New
£ 45.30
Convert currency
Stock Image
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science, 1493)
Published by
Springer
(1998)
ISBN 10: 3540650709
ISBN 13: 9783540650706
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020173620
Buy New
£ 48.43
Convert currency
Stock Image
ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users; Berlin; Germany; September 24-26; 1998; Proceedings
Published by
Springer
(1998)
ISBN 10: 3540650709
ISBN 13: 9783540650706
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540650706_lsuk
Buy New
£ 48.96
Convert currency
Seller Image
ZUM '98: The Z Formal Specification Notation
Published by
Springer Berlin Heidelberg Sep 1998
(1998)
ISBN 10: 3540650709
ISBN 13: 9783540650706
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the eld of research after over a quarter of a century of support This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are 'pro-formal' or 'anti-formal', but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM'98, the 11th International Conference of Z Users, held for the rst time within continental Europe in the city of Berlin, Germany. 440 pp. Englisch. Seller Inventory # 9783540650706
Buy New
£ 47.14
Convert currency
Seller Image
ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Published by
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540650709
ISBN 13: 9783540650706
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the eld of research after over a quarter of a century of support This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are 'pro-formal' or 'anti-formal', but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM'98, the 11th International Conference of Z Users, held for the rst time within continental Europe in the city of Berlin, Germany. Seller Inventory # 9783540650706
Buy New
£ 51.21
Convert currency
Seller Image
ZUM 98: The Z Formal Specification Notation
Published by
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540650709
ISBN 13: 9783540650706
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # 4897053
Buy New
£ 42.63
Convert currency
Stock Image
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science, 1493)
Seller:
Rating
Book Description Seller Inventory # STOCK12262141
Buy New
£ 78.63
Convert currency
Stock Image
ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540650706
Buy New
£ 80.12
Convert currency