Afbeelding 1 van 1
![Introduction to VDM (McGraw-Hill International Series in Softwar - Afbeelding 1 van 1](https://i.ebayimg.com/images/g/FzoAAOSwsHpl0CgN/s-l500.jpg)
Introduction to VDM (McGraw-Hill International Series in Softwar
Objectstaat:
2 beschikbaar
Verzendkosten:
Bevindt zich in: South East, Verenigd Koninkrijk
Levering:
Geschatte levering tussen di, 25 jun en vr, 12 jul tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 99,3% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:134940391209
Specificaties
- Objectstaat
- 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
Over dit 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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
Wrap Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Btw-nummer:
- GB 724 4981 18
Handelsregistratienummer:
- 03800600
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
KVK-nummer:
- 03800600
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:134940391209
Verzending en verwerking
Objectlocatie:
South East, Verenigd Koninkrijk
Wordt verzonden naar:
Albanië, Algerije, Amerikaans-Samoa, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Bahama's, Bahrein, Barbados, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Britse Maagdeneilanden, Bulgarije, Burkina Faso, Burundi, Cambodja, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Comoren, Cookeilanden, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominica, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Falklandeilanden (Islas Malvinas), Filipijnen, Finland, Frankrijk, Frans-Guyana, Frans-Polynesië, Gabon, Gambia, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guadeloupe, Guam, Guatemala, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Irak, Israël, Italië, Ivoorkust, Jamaica, Japan, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Maagdeneilanden (VS), Macau, Macedonië, Madagaskar, Malawi, Maleisië, Mali, Malta, Marokko, Marshalleilanden, Martinique, Mauritanië, Mauritius, Mayotte, Mexico, Micronesië, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Namibië, Nederland, Nederlandse Antillen, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Niue, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Palau, Panama, Papoea-Nieuw-Guinea, Paraguay, Peru, Polen, Portugal, Puerto Rico, Qatar, Republiek Congo, Roemenië, Réunion, Saint Kitts en Nevis, Saint Lucia, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Sierra Leone, Singapore, Sint-Helena, Slovenië, Slowakije, Solomoneilanden, Spanje, Spitsbergen en Jan Mayen, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Tuvalu, Vanuatu, Vaticaanstad, Venezuela, Verenigde Arabische Emiraten, Verenigde Staten, Wallis en Futuna, Wereldwijd, Westelijk Samoa, Westelijke Sahara, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
Afghanistan, Jemen, Libië, Nauru, Oekraïne, Russische Federatie, Somalië
Verzending en verwerking | Elk volgende object | Tot | Service | Levering*Zie opmerkingen over levering |
---|---|---|---|---|
GBP 8,99 (ongeveer EUR 10,65) | GBP 8,99 (ongeveer EUR 10,65) | Verenigde Staten | Standaardverzendservice (Standard Int'l Postage) |
Verwerkingstijd |
---|
Wordt doorgaans binnen 1 werkdag na ontvangst van betaling verzonden. |
Belasting |
---|
Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.134940391209
Btw voor objectnr.134940391209
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
Staat | Btw-tarief |
---|
Retourbeleid
Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Kosten voor retourzending |
---|---|
30 dagen | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
Details retourbeleid |
---|
Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (1.250.202)
c***t (424)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Excellent
c***t (424)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Perfect
a***o (322)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
All good thank you