Picture 1 of 1
Picture 1 of 1
Introduction to VDM (McGraw-Hill International Series in Softwar
£3.15
Condition:
2 available
Postage:
Located in: South East, United Kingdom
Delivery:
Dispatched within 1 day
Estimated between Tue, 25 Jun and Fri, 12 Jul to 43230
Returns:
Payments:
Get more time to pay. See payment informationfor PayPal Credit - opens in a new window or tab
Shop with confidence
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
Company 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
Post to me
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 | £8.99 | United States | Standard Delivery (Standard Int'l Postage) | Estimated between Tue, 25 Jun and Fri, 12 Jul to 43230 |
| 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. |
Returns policy
| After receiving the item, cancel the purchase within | Return postage |
|---|---|
| 30 days | Buyer pays for return postage |
Refer to eBay return policyopens in a new tab or window for more details. You're covered by the eBay Money Back Guaranteeopens in a new tab or window if you receive an item that is not as described in the listing.
The buyer is responsible for return postage costs.
| Return policy details |
|---|
| Returns accepted |
Most purchases from business sellers are protected by the Consumer Contract Regulations 2013 which give you the right to cancel the purchase within 14 days after 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,411)
y***e (255)- Feedback left by buyer.
Past 6 months
Verified purchase
Item just as described. Quick delivery. Well packaged. Great price. Brilliant seller. Great Communication.
o***m (392)- Feedback left by buyer.
Past 6 months
Verified purchase
Item just as described. Quick Delivery. Well Packaged. Great Price. Brilliant Seller. Great Communication
e***p (494)- Feedback left by buyer.
Past month
Verified purchase
Fantastic Seller! The item arrived even earlier than expected and was exactly as described. The packaging was secure, ensuring the item was in perfect condition. Communication was excellent throughout the entire process. Highly recommend this seller and will definitely purchase from them again! Thank you!
Product ratings and reviews
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,
- Cookbooks Non-Fiction McGraw-Hill Fiction & Books,
- Non-Fiction McGraw-Hill Books & Fiction Books,
- Non-Fiction McGraw-Hill Accounting Fiction & Books,
- Non-Fiction McGraw-Hill Exercise Fiction & Books,
- Non-Fiction McGraw-Hill Writing Fiction & Books,
- Non-Fiction McGraw-Hill Mind Fiction & Books