Imagen 1 de 1
![Introduction to VDM (McGraw-Hill International Series in Softwar - Imagen 1 de 1](https://i.ebayimg.com/images/g/FzoAAOSwsHpl0CgN/s-l500.jpg)
Introduction to VDM (McGraw-Hill International Series in Softwar
Estado:
2 disponibles
Envío:
Ubicado en: South East, Reino Unido
Entrega:
Entrega prevista entre el mié. 26 jun. y el lun. 15 jul. a 43230
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución. Ver detalles- Más información sobre devoluciones
Pagos:
Compra con confianza
Información del vendedor
- 99,3% de votos positivos
Registrado como vendedor profesional
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:134940391209
Última actualización el 03 jun 2024 05:35:18 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- 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
Acerca de este producto
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
Descripción del artículo del vendedor
Información de vendedor profesional
Wrap Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Número de IVA:
- GB 724 4981 18
Número de inscripción en el Registro Mercantil:
- 03800600
Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.
Número CRN:
- 03800600
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:134940391209
Última actualización el 03 jun 2024 05:35:18 H.EspVer todas las actualizacionesVer todas las actualizaciones
Envío y manipulación
Ubicación del artículo:
South East, Reino Unido
Realiza envíos a:
Albania, Alemania, Andorra, Angola, Anguila, Antigua y Barbuda, Antillas Neerlandesas, Arabia Saudí, Argelia, Argentina, Armenia, Aruba, Australia, Austria, Bahamas, Bahréin, Barbados, Belice, Benín, Bermudas, Bolivia, Bosnia-Herzegovina, Botsuana, Brasil, Bulgaria, Burkina Faso, Burundi, Bután, Bélgica, Cabo Verde, Camboya, Camerún, Chad, Chile, China, Chipre, Colombia, Comoras, Corea del Sur, Costa de Marfil, Dinamarca, Dominica, Ecuador, Egipto, Emiratos Árabes Unidos, Eritrea, Eslovaquia, Eslovenia, España, Estados Unidos, Estonia, Etiopía, Filipinas, Finlandia, Francia, Gabón, Gambia, Ghana, Gibraltar, Granada, Grecia, Groenlandia, Guadalupe, Guam, Guatemala, Guayana Francesa, Guinea, Guinea Ecuatorial, Guinea-Bisáu, Guyana, Haití, Honduras, Hong Kong, Hungría, India, Indonesia, Iraq, Irlanda, Islandia, Islas Caimán, Islas Cook, Islas Malvinas, Islas Marshall, Islas Salomón, Islas Turcas y Caicos, Islas Vírgenes (Estados Unidos.), Islas Vírgenes Británicas, Israel, Italia, Jamaica, Japón, Jordania, Kenia, Kirguistán, Kiribati, Kuwait, Laos, Lesoto, Letonia, Liberia, Liechtenstein, Lituania, Luxemburgo, Líbano, Macao, Macedonia, Madagascar, Malasia, Malaui, Malta, Malí, Marruecos, Martinica, Mauricio, Mauritania, Mayotte, Micronesia, Moldavia, Mongolia, Montenegro, Montserrat, México, Mónaco, Namibia, Nepal, Nicaragua, Niue, Noruega, Nueva Zelanda, Níger, Omán, Pakistán, Palaos, Panamá, Papúa Nueva Guinea, Paraguay, Países Bajos, Perú, Polinesia Francesa, Polonia, Portugal, Puerto Rico, Qatar, República Centroafricana, República Checa, República Democrática del Congo, República Dominicana, República de Croacia, República del Congo, Reunión, Rumanía, Samoa, Samoa Americana, San Cristóbal y Nieves, San Marino, San Vicente y las Granadinas, Santa Elena, Santa Lucía, Senegal, Serbia, Sierra Leona, Singapur, Sri Lanka, Suazilandia, Sudáfrica, Suecia, Suiza, Surinam, Svalbard y Jan Mayen, Sáhara Occidental, Tailandia, Taiwán, Tanzania, Tayikistán, Todo el mundo, Togo, Tonga, Trinidad y Tobago, Turkmenistán, Turquía, Tuvalu, Túnez, Uganda, Uzbekistán, Vanuatu, Vaticano, Venezuela, Wallis y Futuna, Yibuti, Zambia, Zimbabue
Excluye:
Afganistán, Federación Rusa, Libia, Nauru, Somalia, Ucrania, Yemen
Envío y manipulación | Cada artículo adicional | A | Servicio | Entrega*Consulta las notas de entrega |
---|---|---|---|---|
GBP 8,99 (aprox. 10,65 EUR) | GBP 8,99 (aprox. 10,65 EUR) | Estados Unidos | Envío estándar (Standard Int'l Postage) |
Tiempo de manipulación |
---|
Normalmente, se enviará en un plazo de 1 día laborable desde que se haga efectivo el pago. |
Impuestos |
---|
Puede que se apliquen impuestos durante el pago y envío. Más informaciónMás información sobre el pago de impuestos en las compras de eBay. |
Impuesto de ventas del artículo 134940391209
Impuesto de ventas del artículo 134940391209
El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:
Estado o provincia | Porcentaje de impuesto de ventas |
---|
Política de devoluciones
Cuando recibas el artículo, ponte en contacto con el vendedor en un plazo de | Gastos de envío de la devolución |
---|---|
30 días | El comprador paga el envío de la devolución |
Pulsa aquíaquí para obtener más información sobre devoluciones. En las transacciones que cumplan los requisitos necesarios, estarás cubierto por la Garantía al cliente de eBay si recibiste un artículo que es distinto de la descripción que aparece en el anuncio.
El comprador es responsable de los gastos de envío de la devolución.
Detalles de la política de devoluciones |
---|
Se aceptan devoluciones |
Detalles de pago
Formas de pago
Nota: como resultado de la valoración de riesgo del comprador, es posible que algunas formas de pago no estén disponibles en el proceso de Pago y envío.
Categorías populares de esta tienda
Registrado como vendedor profesional
Votos de vendedor (1.250.547)
1***y (1314)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Just as described. Thank you.
i***o (883)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Great deal, item as described, fast, friendly, well packed. Highly Recommended !
d***m (882)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Thanks AAA++++