Picture 1 of 1

Have one to sell?

Sell it yourself

Introduction to VDM (McGraw-Hill International Series in Softwar

Condition:

Good

Quantity:

2 available

Price:

GBP 3.15

ApproximatelyPHP 235.65

Postage:

GBP 8.99 (approx PHP 672.53) Standard Postage. See detailsfor shipping

Located in: South East, United Kingdom

Delivery:

Estimated between Wed, 26 Jun and Mon, 15 Jul to 43230

Seller ships within 1 day after receiving cleared payment.

Returns:

30 days return. Buyer pays for return shipping. See details- for more information about returns

Coverage:

Read item description or contact seller for details. See all detailsSee all details on coverage

(Not eligible for eBay purchase protection programmes)

Seller information

cmedia_group (970239)
99.3% positive feedback

Registered as a Business Seller

Report this item - opens in new window or tab

Seller assumes all responsibility for this listing.

eBay item number:134940391209

Last updated on Jun 03, 2024 11:35:18 PHTView all revisionsView all revisions

Item specifics

Condition: Good: A book that has been read but is in good condition. Very minimal damage to the cover including ... Good: A book that has been read but is in good condition. Very minimal damage to the cover including scuff marks, but no holes or tears. The dust jacket for hard covers may not be included. Binding has minimal wear. The majority of pages are undamaged with minimal creasing or tearing, minimal pencil underlining of text, no highlighting of text, no writing in margins. No missing pages. See all condition definitionsopens in a new window or tab

Book Title: Introduction to VDM (McGraw-Hill International Series in Softwar

ISBN: 9780077074340

Publication Year: 1993

Type: Textbook

Format: Paperback

Language: English

Publication Name: Introduction to Vdm

Item Height: 246mm

Author: Benedict Heal, Mark Woodman

Publisher: Mcgraw-Hill Education

Item Width: 189mm

Subject: Computer Science

Item Weight: 5000g

Number of Pages: 264 Pages

About this product

Product Information

Offering a tutorial introduction to the VDM formal notation, this text is designed for second- and third-year undergraduates of software engineering. Using notation that blends together both computing and mathematics, it covers the process of writing formal specification, developing abstract modules of data and operation, and design. Special attention is paid to the difficult topic of operation decomposition. The authors describe specific proof obligations, enabling students to develop their software so that the conformity of the design to the specification, and the program code to the design, is guaranteed. Teaching aims are highlighted at the start of each chapter, and the text is based on the Open University software engineering degree.

Product Identifiers

Publisher

Mcgraw-Hill Education

ISBN-13

9780077074340

eBay Product ID (ePID)

88128762

Product Key Features

Author

Benedict Heal, Mark Woodman

Publication Name

Introduction to Vdm

Format

Paperback

Language

English

Subject

Computer Science

Publication Year

1993

Type

Textbook

Number of Pages

264 Pages

Dimensions

Item Height

246mm

Item Width

189mm

Item Weight

5000g

Additional Product Features

Title_Author

Mark Woodman, Benedict Heal

Series Title

Mcgraw-Hill International Series in Software Engineering

Country/Region of Manufacture

United Kingdom

Item description from the seller

Business seller information

Value Added Tax Number:

GB 724 4981 18

Seller assumes all responsibility for this listing.

eBay item number:134940391209

Last updated on Jun 03, 2024 11:35:18 PHTView all revisionsView all revisions

Postage and handling

Item location:

South East, United Kingdom

Post to:

Albania, Algeria, American Samoa, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Bahamas, Bahrain, Barbados, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Finland, France, French Guiana, French Polynesia, Gabon Republic, Gambia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guadeloupe, Guam, Guatemala, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jordan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Mali, Malta, Marshall Islands, Martinique, Mauritania, Mauritius, Mayotte, Mexico, Micronesia, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Namibia, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Niue, Norway, Oman, Pakistan, Palau, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Puerto Rico, Qatar, Republic of Croatia, Republic of the Congo, Reunion, Romania, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United States, Uzbekistan, Vanuatu, Vatican City State, Venezuela, Virgin Islands (U.S.), Wallis and Futuna, Western Sahara, Western Samoa, Worldwide, Zambia, Zimbabwe

Excludes:

Afghanistan, Libya, Nauru, Russian Federation, Somalia, Ukraine, Yemen

Quantity:

Change country:

Postage and handling	Each additional item	To	Service	Delivery*See Delivery notes
GBP 8.99 (approx PHP 672.53)	GBP 8.99 (approx PHP 672.53)	United States	Standard Postage (Standard Int'l Postage)	Estimated between Wed, 26 Jun and Mon, 15 Jul to 43230 Seller ships within 1 day after receiving cleared payment.

Notes - Delivery *Estimated delivery dates include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared payment. Delivery times may vary, especially during peak periods.

Handling time

Will usually ship within 1 business day of receiving cleared payment.

Taxes

Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases.