Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments.
Published by Springer, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
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.
Published by Springer Berlin Heidelberg, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
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.
Published by Springer Berlin Heidelberg, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: moluna, Greven, Germany
Book
Condition: New.
Published by Springer, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: ALLBOOKS1, Salisbury Plain, SA, Australia
Book
Published by Springer 1998-09, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 1998
ISBN 10: 3540650709ISBN 13: 9783540650706
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.