Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.

Bjorner, D. (Editor); Jones, C. B. (Editor); Mac an Airchinnigh, M. (Editor); Neuhold, E. J. (Editor)

ISBN 10: 3540176543 ISBN 13: 9783540176541

Published by Springer-Verlag, Berlin, Germany, 1987

Language: English

Condition: Used - Very good Soft cover

Save for Later

Sold by SUNSET BOOKS 2, Newark, OH, U.S.A.

AbeBooks Seller since July 31, 2009

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - Very good

Price: US$ 10.00 Convert Currency

US$ 5.50 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo.

Seller Inventory # 018757

Contact seller

Report this item

Bibliographic Details

Title

Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.

Publisher

Springer-Verlag, Berlin, Germany

Publication Date

1987

Language

English

ISBN 10

3540176543

ISBN 13

9783540176541

Binding

Paperback

Edition

1st.

Condition

Very Good

Dust Jacket Condition

No Jacket

Book Type

Ex-Library

Seller catalogs

About this title

Synopsis

Provides an account of the research into, and application of the Vienna Development Method (VDM), one of the most widely known "formal methods".

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

Store Description

Thank You for looking at our books! We invite you to browse our bookstore for the many rare and antique volumes we have listed. Our listed books range the entire spectrum, with Mathematics, Physics, Nuclear Physics, Chemistry, Biochemistry, Aviation, Natural resources, Medicine,Electricity, Electronics, Philosophy, History, Genealogy, childrens books, Textbooks, Journals, and many more. Many of our rare/out-of-print volumes came from the U.S. Air Force Technical Library and are very unique. We strive to provide books to individuals around the world at competitive prices. Customers should know that 10-20% of their total order to include shipping cost goes to ABEbooks in fees and charges, especially on lower price volumes.

Visit Seller's Storefront

Seller's business information

SUNSET BOOKS 2
OH, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

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 contact you to let you know extra shipping is required. We never charge for Handling, Packing or Service, even for Media Mail.