Articles liés à Formal Methods of Program Verification and Specification
Synopsis
Book by Franta
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurLongman Higher Education
- Date d'édition1982
- ISBN 10 0133288072
- ISBN 13 9780133288070
- ReliureRelié
- Langueanglais
- Nombre de pages224
- Coordonnées du fabricantnon disponible
Résultats de recherche pour Formal Methods of Program Verification and Specification
Image d'archives
Formal Methods of Program Verification and Specification
Edité par
Longman Higher Education, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-751-673
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods of Program Verification and Specification
Edité par
Longman Higher Education, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1982. 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 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-840-331
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Edité par
Prentice Hall, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Vendeur : BookHolders, Towson, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: Reprint ] Publisher: Prentice Hall Pub Date: 4/1/1982 Binding: Hardcover Pages: 207 Reprint edition. N° de réf. du vendeur 6894837
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods of Program Verification and Specification
Edité par
Prentice-Hall, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Reader's Corner, Inc., Raleigh, NC, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Cloth. Etat : Very Good. No Jacket. First. N° de réf. du vendeur 001987
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods of Program Verification and Specification
Edité par
Longman Higher Education, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-596-348
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods of Program Verification and Specification
Edité par
Longman Higher Education, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-551-412
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Edité par
Prentice Hall, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book. N° de réf. du vendeur ERICA82701332880723
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Edité par
Prentice Hall, 1982
ISBN 10 : 0133288072
ISBN 13 : 9780133288070
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_389222510
Quantité disponible : 1 disponible(s)