Foto 1 di 1
![Introduction to VDM (McGraw-Hill International Series in Softwar - Foto 1 di 1](https://i.ebayimg.com/images/g/FzoAAOSwsHpl0CgN/s-l500.jpg)
Introduction to VDM (McGraw-Hill International Series in Softwar
Condizione:
2 disponibili
Spedizione:
Oggetto che si trova a: South East, Regno Unito
Consegna:
Consegna prevista tra il mar 25 giu e il ven 12 lug a 43230
Restituzioni:
Restituzioni entro 30 giorni. L'acquirente paga le spese di spedizione per la restituzione dell'oggetto. Vedi i dettagli- per maggiori informazioni sulle restituzioni
Pagamenti:
Fai shopping in tutta sicurezza
Informazioni sul venditore
- 99,3% di Feedback positivi
Registrato come venditore professionale
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:134940391209
Specifiche dell'oggetto
- Condizione
- 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
Informazioni su questo prodotto
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
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
Wrap Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Numero Partita IVA:
- GB 724 4981 18
Numero registro delle imprese:
- 03800600
Certifico che tutte le mie attività di vendita saranno conformi alle leggi e ai regolamenti dell'Unione Europea.
Numero di registrazione dell'impresa:
- 03800600
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:134940391209
Spedizione e imballaggio
Luogo in cui si trova l'oggetto:
South East, Regno Unito
Destinazione:
Albania, Algeria, Andorra, Angola, Anguilla, Antigua e Barbuda, Antille olandesi, Arabia Saudita, Argentina, Armenia, Aruba, Australia, Austria, Bahamas, Bahrain, Barbados, Belgio, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia-Erzegovina, Botswana, Brasile, Bulgaria, Burkina Faso, Burundi, Cambogia, Camerun, Capo Verde, Isole, Ciad, Cile, Cina, Cipro, Città del Vaticano, Colombia, Comore, Corea del Sud, Costa d'Avorio, Danimarca, Dominica, Ecuador, Egitto, Emirati Arabi Uniti, Eritrea, Estonia, Etiopia, Falkland, Isole (Malvine), Filippine, Finlandia, Francia, Gambia, Germania, Ghana, Giamaica, Giappone, Gibilterra, Gibuti, Giordania, Grecia, Grenada, Groenlandia, Guadalupa, Guam, Guatemala, Guiana, Guinea, Guinea Equatoriale, Guinea-Bissau, Guyana francese, Haiti, Honduras, Hong Kong, India, Indonesia, Iraq, Irlanda, Islanda, Isole Cayman, Isole Cook, Isole Marshall, Isole Salomone, Isole Vergini Americane, Isole Vergini Britanniche, Israele, Italia, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Lesotho, Lettonia, Libano, Liberia, Liechtenstein, Lituania, Lussemburgo, Macau, Macedonia, Madagascar, Malawi, Malaysia, Mali, Malta, Marocco, Martinica, Mauritania, Mauritius, Mayotte, Messico, Micronesia, Moldavia, Monaco, Mongolia, Montenegro, Montserrat, Namibia, Nepal, Nicaragua, Niger, Niue, Norvegia, Nuova Zelanda, Oman, Paesi Bassi, Pakistan, Palau, Panama, Papua Nuova Guinea, Paraguay, Perù, Polinesia francese, Polonia, Porto Rico, Portogallo, Qatar, Repubblica Ceca, Repubblica Centrafricana, Repubblica Dominicana, Repubblica del Congo, Repubblica del Gabon, Repubblica democratica del Congo, Repubblica di Croazia, Riunione, Romania, Sahara Occidentale, Saint Kitts e Nevis, Saint Vincent e Grenadine, Samoa americane, Samoa occidentali, San Marino, Sant'Elena, Santa Lucia, Senegal, Serbia, Sierra Leone, Singapore, Slovacchia, Slovenia, Spagna, Sri Lanka, Stati Uniti, Sud Africa, Suriname, Svalbard e Jan Mayen, Svezia, Svizzera, Swaziland, Taiwan, Tajikistan, Tanzania, Thailandia, Togo, Tonga, Trinidad e Tobago, Tunisia, Turchia, Turkmenistan, Turks e Caicos, Isole, Tutto il mondo, Tuvalu, Uganda, Ungheria, Uzbekistan, Vanuatu, Venezuela, Wallis e Futuna, Zambia, Zimbabwe
Paesi in cui non si effettua la spedizione:
Afghanistan, Federazione Russa, Libia, Nauru, Somalia, Ucraina, Yemen
Spedizione e imballaggio | Ogni oggetto aggiuntivo | A | Servizio | Consegna*Vedi le note di consegna |
---|---|---|---|---|
GBP 8,99 (circa EUR 10,65) | GBP 8,99 (circa EUR 10,65) | Stati Uniti | Standard (Standard Int'l Postage) |
Tempi di imballaggio |
---|
La spedizione di solito viene effettuata entro 1 giorno lavorativo dalla ricezione del pagamento. |
Imposte |
---|
Potrebbero essere applicate tasse al momento del pagamento. Ulteriori informazioniUlteriori informazioni sul pagamento delle imposte sugli acquisti eBay. |
Imposte sulle vendite per oggetto num. 134940391209
Imposte sulle vendite per oggetto num. 134940391209
Il venditore riscuote l'imposta sulle vendite per gli oggetti spediti ai seguenti Stati:
Stato | Aliquota dell'imposta sulla vendita |
---|
Regole sulle restituzioni
Dopo aver ricevuto l'oggetto, contatta il venditore entro | Spese di restituzione |
---|---|
30 giorni | L'acquirente paga le spese di spedizione per la restituzione dell'oggetto |
Clicca quiqui per ulteriori dettagli sulle Restituzioni. Per le transazioni idonee, sei coperto dal programma Garanzia cliente eBay se ricevi un oggetto non conforme alla descrizione.
Le spese di spedizione per la restituzione sono a carico dell'acquirente.
Informazioni sulla restituzione |
---|
Restituzioni accettate |
Dettagli di pagamento
Metodi di pagamento
Nota: nella procedura di pagamento potrebbero non essere disponibili alcuni metodi di pagamento a causa della valutazione del rischio dell'acquirente.
Categorie più popolari di questo Negozio
Registrato come venditore professionale
Feedback del venditore (1.250.362)
1***y (1068)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Good order, speedy dispatch for which many thanks
4***8 (1214)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
didn't arrive but full refund obtained quickly
2***d (252)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Recommend