0 ratings
Nº de artículo:
163367133
Formal Software Development: From VDM to Java, (Paperback)
Nº de artículo:
163367133
GTQ 730
Price Details
Excluding Shipping & Custom charges ( Shipping and custom charges will be calculated on checkout )
*All items will import from Estados Unidos
0 ratings
Escribe una opinión
En stock
Importado de la tienda USA
QTY:
Solo quedan 99 artículos en stock.
Haz tu pedido ahora y recíbelo por ahí Sunday, Noviembre 01
Secured transaction
Ubuy works hard to protect your security and privacy. Our advanced payment security system ensures confidentiality by encrypting your information during transmission using AES (Advanced Encryption Standards) and SSL (Secure Socket Layer) protocols. Your payment details are 100% secure as we do not share your payment details with third party sellers.
Our Top Logistics Partners
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software.
Fast
Shipping
Free
Return*
Secure Packaging
100% Original Products
PCI DSS Compliance
ISO 27001 Certified
Detalles de producto
- This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.
| Book format | Paperback |
| Fiction/nonfiction | Non-Fiction |
| Genre | Computing & Internet |
| Publication date | September, 2003 |
| Pages | 256 |
| Reading level | Tertiary Education (US: College) |
| Subgenre | Programming |
| Series title | No Series |
| Edition | 2003 Edition |
| Publisher | Bloomsbury Publishing PLC |
| Original languages | English |
| Language | English |
| Edu focus | Engineering |
| Educational level | College |
| Is collectible | N |
| Binding type | Perfect Binding |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 6.69 x 0.50 x 9.61 in (17 x 1.3 x 24.4 cm) |
| Assembled product weight | 0.85 lb (390 grams) |
| Bisac subject heading | Computers |
DESCRIPCIÓN DEL PRODUCTO
Formal Software Development: From VDM to Java, (Paperback)
¿Tienes alguna consulta? Chatea con nosotros
Preguntas y respuestas de los clientes
-
Pregunta:
¿Cómo comprar Formal Software Development: From VDM to Java, en línea desde Ubuy?
Respuesta: Es fácil comprar Formal Software Development: From VDM to Java, en línea desde Ubuy.. Solo tiene que buscar el producto, elegir su método de envío al pagar y recibirlo en su ubicación. -
Pregunta:
¿Está Formal Software Development: From VDM to Java, disponible para comprar en línea en Guatemala?
Respuesta: Sí, en Ubuy Guatemala, este producto está disponible para que lo compre a un precio razonable.. El Formal Software Development: From VDM to Java, no está disponible localmente, pero puede confiar en nosotros con nuestros servicios de envío exprés. -
Pregunta:
¿Cuánto tiempo se tarda en obtener el producto después de realizar el pedido?
Respuesta: El tiempo de entrega de su producto pedido varía según lo que haya pedido y el método de envío que haya elegido.. El tiempo de entrega estimado se menciona durante el proceso de pago, así que no se preocupe mientras compra.
Quentin Charatan All Books Editorial Review
No se encontraron reseñas editoriales
Customer Reviews & Ratings
1 valoraciones de los clientes
-
5 estrella
100%
-
4 estrella
0%
-
3 estrella
0%
-
2 estrella
0%
-
1 estrella
0%
Revisar este producto
Comparte tus ideas con otros clientes
Product Price History
Información importante
- Limitaciones: Para los productos enviados al extranjero, ten en cuenta que cualquier garantía del fabricante puede no ser válida; las opciones de servicio del fabricante pueden no estar disponibles; los manuales del producto, las instrucciones y las advertencias de seguridad pueden no estar en los idiomas del país de destino; los productos (y los materiales que los acompañan) pueden no estar diseñados de acuerdo con las normas, especificaciones y requisitos de etiquetado del país de destino; y los productos pueden no ajustarse al voltaje del país de destino y a otras normas eléctricas (lo que requiere el uso de un adaptador o convertidor, si procede). El destinatario es responsable de asegurarse de que el producto puede ser importado legalmente al país de destino. Cuando hagas un pedido a Ubuy o a sus filiales, el destinatario es el importador registrado y debe cumplir todas las leyes y normativas del país de destino.
- No todos los productos que aparecen en Ubuy están a la venta, ya que Ubuy es un motor de búsqueda a nivel mundial. Los productos están sujetos a las normas de exportación/comercio.
GTQ 730
Haz tu pedido ahora y recíbelo por ahí Sunday, Noviembre 01
This item is not restrict in my country.(Please click on above link if this item is not restrict in your country, So our team will review and allow.)
QTY:
Solo quedan 99 artículos en stock.
Secured transaction
PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.
Our Top Logistics Partners
Fastest cross-border delivery
características y beneficios
- Focuses on formal methods for software development.
- Ideal for second and third year computing undergraduates.
- No prior knowledge of formal methods needed.
- Comprehensive treatment of the subject.
- Includes numerous examples and exercises.
- Perfect for students in taught master's courses.
Ubuy Assurance
Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.