Formal Methods of Program Verification and Specification

Berg, H. K. & Boebert, W. E. & Franta, W. R. & Moher, T. G.

ISBN 10: 0133288072 ISBN 13: 9780133288070

Edit� par Prentice-Hall, 1982

Langue: anglais

Ancien(s) ou d'occasion Etat : Very Good Couverture rigide

Mettre de c�t�

Vendeur Reader's Corner, Inc., Raleigh, NC, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 11 janvier 2000

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture rigide

Prix: EUR 9,84 Autre devise

EUR 34,49 exp�dition depuis Etats-Unis vers France Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

N� de r�f. du vendeur 001987

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Formal Methods of Program Verification and ...

�diteur : Prentice-Hall

Date d'�dition : 1982

Reliure : Cloth

Etat : Very Good

Etat de la jaquette : No Jacket

Edition : First

A propos de ce titre

Synopsis :

Book by Franta

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

The Reader's Corner is such fun,it's too bad you have to buy our books on line. We have eight foot tall outside bookshelves across the entire front of the store. There is a money slot in the door for night sales, which go to support National Public Radio. Inside, which can be too crowded at times, are surprisingly good books, only 1% are ever listed on-line. We also sell records, music cd's, comic books, mags, computer software and games. Best of all is the found art decorating every spare spot. The motto on the front door: NO SHOOTING, NO SMOKING, NO MOONING THE MANAGEMENT.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Reader's Corner, Inc.
Reader's Corner, Inc, 3201 Hillsborough Street, Raleigh, NC, 27607, U.S.A.

Conditions de vente :

Visa, Mastercard, Amex, Discover, Paypal or check. Shipping by USPS Priority Mail $6.50 first volume/$4 each add. vol.This is for octavo sized books only, oversize books will be more. USPS bookrate $3.50 first vol/$1.75 each add. vol. (I cover all Dust Jackets with Brodart Mylar protectors).(For EU: Reader's Corner, 3201 Hillsborough Street, Raleigh N.C., 27607, readcorner@aol.com)

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
accept�s par le vendeur

Ch�que PayPal

Ajouter aux demandes de livres

Articles li�s � Formal Methods of Program Verification and Specification

Formal Methods of Program Verification and Specification

Berg, H. K. & Boebert, W. E. & Franta, W. R. & Moher, T. G.

Ancien(s) ou d'occasion - Couverture rigide

Informations commerciales relatives au vendeur