Formal System Verification. 1st ed. 2018

Enregistré dans:

Détails bibliographiques
Auteur principal:	Drechsler, Rolf
Format:	Livre
Langue:	English
Publié:	Springer International Publishing 2020
Sujets:	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
Accès en ligne:	http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

id	oai:scholar.dlu.edu.vn:DLU123456789-99590
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-995902023-10-06T18:24:01Z Formal System Verification. 1st ed. 2018 Drechsler, Rolf Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation 2020-09-11T08:33:39Z 2020-09-11T08:33:39Z 2018 Book 978-3-319-57683-1 978-3-319-57685-5 http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590 en Springer International Publishing AG application/pdf Springer International Publishing
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
spellingShingle	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Drechsler, Rolf Formal System Verification. 1st ed. 2018
format	Book
author	Drechsler, Rolf
author_facet	Drechsler, Rolf
author_sort	Drechsler, Rolf
title	Formal System Verification. 1st ed. 2018
title_short	Formal System Verification. 1st ed. 2018
title_full	Formal System Verification. 1st ed. 2018
title_fullStr	Formal System Verification. 1st ed. 2018
title_full_unstemmed	Formal System Verification. 1st ed. 2018
title_sort	formal system verification. 1st ed. 2018
publisher	Springer International Publishing
publishDate	2020
url	http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590
_version_	1819845695262162944

Formal System Verification. 1st ed. 2018

Documents similaires