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