Libros
»
ciencias
programen espezifikazio, egiaztapen eta eratorpen formala
- Autor: Javier Alvez Gimenez / Xabier Arregi Iparragirre / Jose Gaintzarain Ibarmia / Paqui Lucio Carrasco / Montse Maritxalar Anglada
- ISBN: 978-84-9082-428-3
- EAN: 9788490824283
- Editorial: EUSKAL HERRIKO UNIBERTSITATEA
- Idioma: Euskera
- Año de edición: 2016
- Formato: RUSTICA
- Número de páginas: 314
- Tamaño: 240x170
ENSTOCK Artículo en stock. Artículo disponible en elkar.eus. Los artículos en stock salen del almacén en un plazo no superior a 48 horas laborables. El plazo de entrega, dependerá de la forma de envío y del país de destino seleccionado.
Sinopsis
Gaur egun, software fidagarria, hau da errorerik gabea, sortu ahal izateko ezagutza, metodoak eta teknologia egon badaude. Horren erakusgarri da, adibidez, liburu honen lehenengo kapituluan azaltzen den Parisko garraio-sarearen kontrolerako softwarea. Beste froga bat, azken 10-15 urteetan software-akatsen ondorioz sortutako istripu larririk ia-ia ez egon izana da. Hori dela-eta, liburu honen bidez gure ekarpena egin nahi dugu nazioarteko komunitateak dagoeneko bere gain hartu duen erronka batean: software-industriak zeharo fidagarriak diren aplikazioak garatzera jo behar du. Horretarako, software-garatzaileek aplikazio erabat fidagarriak garatu ahal izateko erreminta eta teknikak erabiltzeko eta sortzeko gaitasuna emango dien prestakuntza zientifiko-teknikoa izatea beharrezkoa da.