Articles liés à Proof in Vdm: A Practitioner's Guide
Synopsis
Proof in VDM A manual which explores the practical aspects of constructing proofs in the specification and development of computing systems. All techniques are illustrated with numerous worked examples and use the basic data types of the VDM specification language.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 194,82
EUR 28,83 expédition depuis Royaume-Uni 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 New York Inc., 1993
ISBN 10 : 038719813X
ISBN 13 : 9780387198132
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur F-933-955
Quantité disponible : 1 disponible(s)
Image d'archives
Proof in Vdm: A Practitioner*s Guide (Formal Approaches to Computing and Information Technology)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. New. book. N° de réf. du vendeur ERICA829038719813X6
Quantité disponible : 1 disponible(s)