Titre: VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science (428))
�diteur: Springer, Berlin
Date de parution: 1990
Langue: anglais
ISBN � 10 chiffres: 3540525130
ISBN � 13 chiffres: 9783540525134
Reliure: Paperback
�tat de l'article: Very Good
�tat de la jaquette: No Jacket

A propos de ce titre

Synopsis

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.

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

We are a full-service bookstore. We currently have over 200,000 volumes in stock - and are still growing. We offer booksearches, recommendations, shipping, and are always interested in buying collections and estates. We are also a full-service independent new-book store. we will get any book in print and ship it to you. We have approximately 15,000 titles in stock. We can make recommendations, giftwrap, and even offer "gift registry" for our customers.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Lowry's Books
MI, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

We accept checks, money orders and VISA, Mastercard, Discover and American Express.

Conditions d'exp�dition

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.