Articles liés à Proof in Vdm: A Practitioner's Guide
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Proof in Vdm: A Practitioner's Guide
Image d'archives
Proof in VDM: A Practitioner's Guide
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994
ISBN 10 : 354019813X
ISBN 13 : 9783540198130
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : 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. N° de réf. du vendeur E-505-683
Quantité disponible : 1 disponible(s)
Image d'archives
Proof VDM a Practitioner's Guide
Edité par
Springer-Verlag, London Berlin Heidleberg New York, 1994
ISBN 10 : 354019813X
ISBN 13 : 9783540198130
Ancien ou d'occasion
Paperback
Edition originale
Vendeur : Webbooks, Wigtown, Wigtown, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Near Fine. No Jacket. First Edition. Clean bright tight copy that appears unread. This is a heavy paperback and extra shipping will be requested if ordered from outside the UK. C00002725. N° de réf. du vendeur C00002725
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Proof in VDM: A Practitioner s Guide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4884300
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Proof in VDM: A Practitioner¿s Guide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540198130
Quantité disponible : 1 disponible(s)
Image d'archives
Proof in VDM: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540198130_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof in VDM: A Practitioner's Guide
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540198130
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Proof in VDM: A Practitioner's Guide
Edité par
Springer Berlin Heidelberg, Springer London Dez 1993, 1993
ISBN 10 : 354019813X
ISBN 13 : 9783540198130
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch. N° de réf. du vendeur 9783540198130
Quantité disponible : 1 disponible(s)
Image d'archives
Proof in VDM: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540198130
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof in VDM: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. reprint edition. 362 pages. 9.00x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-354019813X
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Proof in VDM: A Practitioner¿s Guide
Edité par
Springer London Dez 1993, 1993
ISBN 10 : 354019813X
ISBN 13 : 9783540198130
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540198130
Quantité disponible : 2 disponible(s)