Stock Image

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)

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

0 ratings by Goodreads
ISBN 10: 3540525130 / ISBN 13: 9783540525134
Published by Springer, 1990
Used Condition: Good
From Zubal-Books (Cleveland, OH, U.S.A.)

Heritage Bookseller
AbeBooks Member Since 1996

Quantity Available: 1

Buy Used
Price: US$ 4.26 Convert Currency
Shipping: US$ 3.50 Within U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy

About this Item

580 pp., Paperback, ex library, else text clean & binding tight. Bookseller Inventory # ZB637417

Ask Seller a Question

Bibliographic Details

Title: VDM '90. VDM and Z - Formal Methods in ...

Publisher: Springer

Publication Date: 1990

Book Condition:Good

About this title


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.

"About this title" may belong to another edition of this title.

Store Description

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us.

Visit Seller's Storefront

Terms of Sale:

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however

All international postal rates are subject to change depending on weight
and size.

Shipping Terms:

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express