Programming with VDM

Rolland, F. D.

ISBN 10: 0333565207 ISBN 13: 9780333565209

Editorial: MacMillan, Basingstoke, 1992

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Antiquariat Torsten Bernhardt eK, Hamburg, Alemania

Vendedor de AbeBooks desde 30 de abril de 2015

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Bueno

Precio: EUR 20,00 Convertir moneda

EUR 70,00 gastos de env�o desde Alemania a Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

122 S., Kt., Gr. 8� (23,5 cm) Sprache: eng.

N� de ref. del art�culo 11262

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Programming with VDM

Editor

MacMillan, Basingstoke

Fecha de publicaci�n

1992

Idioma

Ingl�s

ISBN 10

0333565207

ISBN 13

9780333565209

Encuadernaci�n

kartoniert

Estado

guter Zustand

Cat�logos de vendedores

Naturwissenschaft und Technik

Acerca de

Sinopsis

This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading formal methods for program development. It adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although the book is intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified to use VDM and implemented in Modula-2. The author has also written " Relational Database Management With Oracle".

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

Antiquariat Torsten Bernhardt eK
Germany

Condiciones de venta y env�o

Condiciones de venta

Antiquariat Torsten Bernhardt eK
Wandsbeker Chaussee 159
22089 Hamburg

Email: Antiquariat-Bernhardt@hamburg.de
Tel.: 0049-(0)40-33 63 03

Handelsregister: Amtsgericht Hamburg, HRA 72059
USt-Id: DE223282924

Allgemeine Gesch�fts- und Lieferbedingungen

Allgemeines - Geltungsbereich
Vertragsschluss
Eigentumsvorbehalt
Verg�tung
Gefahr�bergang
Gew�hrleistung
Haftungsbeschr�nkungen und -freistellung
Besondere Inhalte
Schlussbestimmungen
Allgemeines - Geltungsbereich
1.1. Die folgenden Allgemei...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zus�tzliche Versandkosten anfallen.

Tarifas de env�o de Alemania a Estados Unidos de America

Tarifas de env�o de Alemania a Estados Unidos de America
Cantidad del pedido	De 25 a 45 d�as h�biles	De 25 a 45 d�as h�biles
Primer art�culo	EUR 70.00	EUR 70.00

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.

Informaci�n detallada sobre el vendedor