Formal verification of floating-point hardware design : a mathematical approach

dc.contributor.author	Russinoff, David M.
dc.date.accessioned	2019-05-09T14:57:11Z
dc.date.available	2019-05-09T14:57:11Z
dc.date.issued	2019
dc.identifier.isbn	978-3-319-95512-4
dc.identifier.uri	http://hdl.handle.net/123456789/12088
dc.language.iso	en	es
dc.publisher	Springer	es
dc.rights	Este documento es reproducido por la biblioteca universitaria de la UCLV bajo el amparo de la legislación cubana vigente sobre derecho de autor. Los usuarios podrán utilizar este material bajo la siguiente licencia: Reconociendo a los autores de la obra mediante las citas y referencias bibliográficas correspondientes, utilizar solo para fines No Comerciales y No realizar reproducciones u obras derivadas.	es
dc.subject	Métodos Formales	es
dc.subject	Ciencias de la Computación	es
dc.subject	Aritmética de Punto Flotante	es
dc.subject	Diseño de Sistemas	es
dc.subject	Formal Methods	es
dc.subject	Computer Science	es
dc.subject	Floating Point Arithmetic	es
dc.subject	System Design	es
dc.title	Formal verification of floating-point hardware design : a mathematical approach	es
dc.type	Book	es