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 ...
Read More
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.
Read Less
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1990
Language:
English
Alibris ID:
17988272379
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Lecture Notes in Computer Science . XX, 588 p. Intended for college/higher education audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1990
Language:
English
Alibris ID:
17987846374
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Lecture Notes in Computer Science . XX, 588 p. Intended for college/higher education audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1990
Language:
English
Alibris ID:
17758394061
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
580 pp., Paperback, ex library, else text clean & binding tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1990
Language:
English
Alibris ID:
12184446536
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 588 p. Lecture Notes in Computer Science , 428. XX, 588 p. Intended for college/higher education audience. Intended for professional and scholarly audience.
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1990
Language:
English
Alibris ID:
16993959149
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. New as pictured-clean, pristine condition-This copy printed on bright white paper-Ships from legendary independent online bookstore in Murrieta, California. Thousands of satisfied customers. We ship promptly and Worldwide. We work hard to earn your confidence. Orders are fully guaranteed, includes free Tracking and Delivery Confirmation and normally ships the same business day. We use bubble wrap lined heavy Kraft envelopes. Reliable customer service and no-hassle return policy. Why pay more?