Formal Modeling and Verification of Cyber-Physical Systems
Editat de Rolf Drechsler et al.
25 iun 2015
Parperback
Preț: 325.71 lei 407.14 lei
6-8 săpt.
-20%
Advanced Automation in Formal Verification of Processors
Autor Ulrich Kühne
10 noi 2009
Parperback
Preț: 257.68 lei 322.09 lei
Indisponibil temporar
-20%