Picture 1 of 1
Introduction to VDM (McGraw-Hill International Series in Softwar
Condition:
2 available
Price:
£3.15
ApproximatelyEUR 3.73
- Buy it nowIntroduction to VDM (McGraw-Hill International Series in Softwar
Postage:
Located in: South East, United Kingdom
Delivery:
Estimated between Tue, 25 Jun and Fri, 12 Jul to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 99.3% positive Feedback
Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:134940391209
Item specifics
- Condition
- 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
- 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
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
Series Title
Mcgraw-Hill International Series in Software Engineering
Country/Region of Manufacture
United Kingdom
Item description from the seller
Business seller information
Wrap Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Value added tax number:
- GB 724 4981 18
Trade registration number:
- 03800600
I certify that all my selling activities will comply with all EU laws and regulations.
CRN Number:
- 03800600
Seller assumes all responsibility for this listing.
eBay item number:134940391209
Postage and packaging
Item location:
South East, United Kingdom
Posts 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
| Postage and packaging | Each additional item | To | Service | Delivery*See Delivery notes |
|---|---|---|---|---|
| £8.99 (approx EUR 10.65) | £8.99 (approx EUR 10.65) | United States | Standard Delivery (Standard Int'l Postage) |
| Dispatch time |
|---|
| Will usually dispatch within 1 working day of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales tax for an item #134940391209
Sales tax for an item #134940391209
Seller collects sales tax/VAT for items dispatched to the following states:
| County | VAT rate |
|---|
Returns policy
| After receiving the item, cancel the purchase within | Return postage |
|---|---|
| 30 days | Buyer pays for return postage |
The buyer is responsible for return postage costs.
| Return policy details |
|---|
| Returns accepted |
Most Buy It Now purchases are protected by the Consumer Rights Directive, which allow you to cancel the purchase within seven working days from the day you receive the item. Find out more about your rights as a buyer and exceptions.
Payment details
Payment methods
Popular categories from this shop
Registered as a business seller
Seller Feedback (1,250,519)
j***m (1233)- Feedback left by buyer.
Past month
Verified purchase
as described
j***m (1233)- Feedback left by buyer.
Past month
Verified purchase
as described prompt delivery thanks
h***_ (899)- Feedback left by buyer.
Past month
Verified purchase
Arrived in good time, as described and no problems
More to explore:
- Non-Fiction McGraw-Hill International Edition Fiction & Non-Fiction Books,
- Non-Fiction McGraw-Hill Fiction & Books,
- McGraw-Hill Non-Fiction Hardcover Books,
- Non-Fiction McGraw-Hill IT Fiction & Books,
- Non-Fiction McGraw-Hill Mathematics Fiction & Books,
- Non-Fiction McGraw-Hill Books & Fiction Books,
- Non-Fiction McGraw-Hill Stocks Fiction & Books,
- Non-Fiction McGraw-Hill Design Fiction & Books,
- Non-Fiction McGraw-Hill Accounting Fiction & Books,
- Non-Fiction McGraw-Hill Exercise Fiction & Books