Nehodí se? Vůbec nevadí! U nás můžete do 30 dní vrátit
S dárkovým poukazem nešlápnete vedle. Obdarovaný si za dárkový poukaz může vybrat cokoliv z naší nabídky.
30 dní na vrácení zboží
This volume surveys advances in the design and validation of computer architectures. The chapters cover topics including: modelling and synthesis of behaviour, control, and dataflow; cell-based logic optimization; machine-assisted verification; and virtual machine design.