T�tulo: 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))
Editor: Springer, Berlin
Fecha de publicaci�n: 1990
Idioma: Ingl�s
ISBN 10: 3540525130
ISBN 13: 9783540525134
Encuadernaci�n: Paperback
Estado: Very Good
Estado de la sobrecubierta: No Jacket

Acerca de

Sinopsis

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.

Rese�a del editor

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

Descripci�n de la librer�a

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.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta y env�o

Condiciones de venta

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

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 5 a 14 d�as h�biles	De 3 a 6 d�as h�biles
Primer art�culo	EUR 4.74	EUR 12.07

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.