Synopsis
Book by Franta
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Methods of Program Verification and Specification
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
Acheter D'occasion
EUR 9,64
EUR 4,68 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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_416689049
Acheter D'occasion
EUR 13,96
EUR 3,19 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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 : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0133288072I4N00
Acheter D'occasion
EUR 17,46
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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 : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0133288072I3N10
Acheter D'occasion
EUR 17,46
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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 : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0133288072I3N00
Acheter D'occasion
EUR 17,46
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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 : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0133288072I3N00
Acheter D'occasion
EUR 17,46
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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 : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0133288072I4N00
Acheter D'occasion
EUR 17,46
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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. 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
Acheter D'occasion
EUR 6,99
EUR 20,50 shipping
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
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
Acheter D'occasion
EUR 6,99
EUR 20,50 shipping
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
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
Acheter D'occasion
EUR 6,99
EUR 20,50 shipping
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)