Expert booksellers
Personal advice
Especificación, verificación y derivación formal de programa
Editorial PEARSON EDUCACIÓN
-5% disc. 40,15€
38,15€
Save 2,01€
- Publisher PEARSON EDUCACIÓN
- ISBN13 9788420564982
- ISBN10 8420564982
- Type Book
- Pages 352
- Published 2015
- Language Spanish
Especificación, verificación y derivación formal de programa
Editorial PEARSON EDUCACIÓN
-5% disc. 40,15€
38,15€
Save 2,01€
Not available online,
but our booksellers can check its availability to give you an estimate of when we might have it ready for you.
Shipping in 24/48h
-5% discount on all books
-5% discount on all books
Thank you for shopping
at real bookstores.
at real bookstores.
FREE pickup at Bookstore
Come and be amazed!
Come and be amazed!
Book Details
Actualmente, existen los conocimientos, los métodos y la tecnología para que se pudiera construir software totalmente fiable, es decir, libre de errores.Esto es debido a que, en el caso del software crítico, del que pueden depender vidas de personas, sí se utiliza toda la tecnología necesaria para garantizar su fiabilidad. ¿Por qué, entonces, no se aplican estas mismas técnicas en el desarrollo del software no crítico?
En este sentido, este libro va en la buena dirección, a contracorriente de esa tendencia lamentable de muchas universidades españolas. En particular, este excelente libro suministra el material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable.
- Publisher PEARSON EDUCACIÓN
- ISBN13 9788420564982
- ISBN10 8420564982
- Type Book
- Pages 352
- Published 2015
- Language Spanish
More books by AA. VV.
95,84€
100,88€
📣 Pre-sale: 21/07/2024
22,80€
24,00€
Normal availability 7 days
96,82€
101,92€
Available online
96,82€
101,92€
Available online
96,82€
101,92€
Available online
96,82€
101,92€
Available online
6,18€
6,50€
Normal availability 7 days