292 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem R�ckenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgem�� entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 620.

N� de ref. del art�culo 2040527

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

The Design of Well-structured and Correct Programs; Texts and Monographs in Computer Science;

Editor

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Fecha de publicaci�n

1978

Idioma

Ingl�s

ISBN 10

3540902996

ISBN 13

9783540902997

Encuadernaci�n

gebundene Ausgabe

Estado

Gut

Peso

620 gramos

Cat�logos de vendedores

202 Informatik & EDV

Acerca de

Sinopsis

This text synthesizes research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are provided. As a PASCAL programming text, it not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition of PASCAL in terms of proof rules. Although an introductory course in programmming is required, no particular mathematical background is necessary beyond the basic idea of a mathematical proof. A sample of algorithms, including some examples from business data processing, is presented. This collection is supplemented by an extensive set of exercises.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Versandantiquariat Petra Gros GmbH & Co. KG
Am Sonnenhang 18, Welling, 56753, Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeine Gesch�ftsbedingungen

Allgemeines - Geltungsbereich
1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.
1.2. Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden kann. Unternehmer i. S. d....

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Die Ware wird in der Regel innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen sind f�r K�ufer und Verk�ufer bindend.

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 4 a 10 d�as h�biles	De 3 a 6 d�as h�biles
Primer art�culo	EUR 9.95	EUR 16.95

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.