Formal Techniques for Safety-Critical Systems

Elemento

Título (dcterms:title)

Formal Techniques for Safety-Critical Systems

Autores (dcterms:creator)

Artho

Año Publicación (dcterms:date)

2015

Editorial (dcterms:publisher)

Springer International Publishing

ISBN (bibo:isbn)

978-3-319-17580-5

eBook (bibo:isbn13)

978-3-319-17581-2

PDF (bibo:uri)

https://cutt.ly/ylTksMu

EPUB (foaf:workInfoHomepage)

https://cutt.ly/klTkDeW

Colecciones

Springer

Not viewed