Formal methods for hardware design still find limited use in industry. Yet current practice has t...
In the past few decades Computer Hardware Description Languages(CHDLs) have been a rapidly expand...
This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Legané...
Computation and communication technologies underpin work and development in many different areas....
The stream language.- Procedural level agents.- Register transfer level agents.- Gate level agent...
EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to fos...
This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhan...
It is recognized that formal design and verification methodsare an important requirement for the ...
EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to fos...
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Cours...
Computation and communication technologies underpin work and development in many different areas....
Unser bisheriger Preis:ORGPRICE: 128,35 €
It is recognized that formal design and verification methodsare an important requirement for the ...
Unser bisheriger Preis:ORGPRICE: 113,50 €