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

Verlag: Prentice-Hall, 1982

Sprache: Englisch

Gebraucht Zustand: Very Good Hardcover

F�r sp�ter vormerken

Verk�ufer Reader's Corner, Inc., Raleigh, NC, USA

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 11. Januar 2000

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Preis: EUR 9,81 W�hrung umrechnen

EUR 34,36 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Bestandsnummer des Verk�ufers 001987

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods of Program Verification and ...

Verlag: Prentice-Hall

Erscheinungsdatum: 1982

Einband: Cloth

Zustand: Very Good

Zustand des Schutzumschlags: No Jacket

Auflage: First

�ber diesen Titel

Inhaltsangabe:

Firma anterior poseedor. Buen estado

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen:

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)

Versandinformationen:

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.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Vorauskasse PayPal

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu 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.

Gebraucht - Hardcover

Unternehmensdaten des Verk�ufers