PROGRAMEN ESPEZIFIKAZIO, EGIAZTAPEN ETA ERATORPEN FORMALA

PROGRAMEN ESPEZIFIKAZIO, EGIAZTAPEN ETA ERATORPEN FORMALA (Libro en papel)

Editorial:
UNIVERSIDAD DEL PAÍS VASCO
Año de edición:
Materia
Informática
ISBN:
978-84-9082-428-3
Páginas:
314
Encuadernación:
Rústica
-5%
24,00 €
22,80 €
IVA incluido
Disponible en 10 días
Comprar

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.

Otros libros del autor