Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: Ammareal, Morangis, France
Book
Softcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Springer Verlag, 1993
ISBN 10: 038719813XISBN 13: 9780387198132
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 244.
Published by Springer Verlag, 1993
ISBN 10: 038719813XISBN 13: 9780387198132
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Book
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Book
Condition: Good. Pencil on inside page. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. 244 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Published by Springer, 1993
ISBN 10: 038719813XISBN 13: 9780387198132
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 362.
Published by Springer, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1993
ISBN 10: 038719813XISBN 13: 9780387198132
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. 362.
Published by Springer, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
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, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Book
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Published by Springer, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. reprint edition. 362 pages. 9.00x6.00x0.75 inches. In Stock.
Published by Springer London, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems. A formal method - like VDM - must offer a mathematically-based specification language. On this language rests the other key element of the formal method: the ability to reason about a specification. Proofs can be empioyed in reasoning about the potential behaviour of a system and in the process of showing that the design satisfies the specification. The existence of a formal specification is a prerequisite for the use of proofs; but this prerequisite is not in itself sufficient. Both proofs and programs are large formal texts. Would-be proofs may therefore contain errors in the same way as code. During the difficult but inevitable process of revising specifications and devel opments, ensuring consistency is a major challenge. It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools which support the manipu lation of large bodies of formulae and help the user in the design of the proofs themselves.
Published by Springer London, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: moluna, Greven, Germany
Book
Condition: New.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer 1993-12, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer London Dez 1993, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
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 -Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems. A formal method - like VDM - must offer a mathematically-based specification language. On this language rests the other key element of the formal method: the ability to reason about a specification. Proofs can be empioyed in reasoning about the potential behaviour of a system and in the process of showing that the design satisfies the specification. The existence of a formal specification is a prerequisite for the use of proofs; but this prerequisite is not in itself sufficient. Both proofs and programs are large formal texts. Would-be proofs may therefore contain errors in the same way as code. During the difficult but inevitable process of revising specifications and devel opments, ensuring consistency is a major challenge. It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools which support the manipu lation of large bodies of formulae and help the user in the design of the proofs themselves. 380 pp. Englisch.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer London 1998-03-02, London, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Blackwell's, London, United Kingdom
Book
paperback. Condition: New. Language: ENG.
Published by Springer London Mrz 1998, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
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 -Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip ulation of elements of a design and hence can provide developers with a variety of analyses which facilitate the detection of faults. Proof is just one of these possible formal activities, others, such as test case generation and animation, have also been shown to be effective bug finders. Proof can be used for both validation and verifi cation. Validation of a specification can be achieved by proving formal statements conjectured about the required behaviours of the system. Verification of the cor rectness of successive designs can be achieved by proof of a prescribed set of proof obligations generated from the specifications. 244 pp. Englisch.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
paperback. Condition: Like New. Like New. book.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 1993
ISBN 10: 354019813XISBN 13: 9783540198130
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.
Published by Springer, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
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.