230 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Dedication by the author. Retired library copy with corresponding marking. Otherwise, a neat copy. 9783519021018 Sprache: Englisch Gewicht in Gramm: 1000.

N� de r�f. du vendeur 314508

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

The foundations of program verification

�diteur

Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley

Date de parution

1984

Langue

anglais

ISBN � 10 chiffres

3519021013

ISBN � 13 chiffres

9783519021018

Reliure

Hardcover

Catalogues du vendeur

Informatik

Description de la librairie

Das Roland Antiquariat ist ein im Jahre 2001 gegr�ndetes Versand-Antiquariat mit einem breiten Sortiment antiquarischer und seltener B�cher aus zahlreichen Gebieten. Schwerpunkte sind Fotob�cher, Geschichte, Milit�rgeschichte, Kulturgeschichte,Philosophie, Orts- und Landeskunde sowie generell wissenschaftliche Literatur. Zur Erweiterung unseres Sortiments sind wir stets am Ankauf interessanter Einzelst�cke sowie gr��erer Sammlungen zu einem Thema oder auch ganzer Bibliotheken, vorzugsweise wissenschaftlichen Inhalts, interessiert. Rufen Sie uns gerne an unter 06201-7303617 oder schreiben Sie eine mail an info@rolandantiquariat.de. Als Versandantiquariat f�hren wir kein Ladengesch�ft mit festen �ffungszeiten, Besucher sind jedoch nach telefonischer Voranmeldung jederzeit willkommen.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Roland Antiquariat UG (haftungsbeschr�nkt)
M�hlweg 11, Weinheim, 69469, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Impressum: Roland Antiquariat UG (haftungsbeschr�nkt), M�hlweg 11, 69469 Weinheim, Deutschland Tel.: 06201-7303617 Fax: 06201-2749959 E-Mail: info@rolandantiquariat.de Registergericht: Amtsgericht Mannheim Registernummer: HRB 725900 Gesch�ftsf�hrer: Ali Mert Umsatzsteuer-Identifikationsnummer gem�� 27 a Umsatzsteuergesetz: DE266059823 Link zur k�nftigen EU-Plattform zur Online-Streitbeilegung: www.ec.europa.eu/consumers/odr