(15 resultados)

51,99€(IVA inc.)

Automatic Methods for the Refinement of System Models
  • Seiter, Julia
  • 978-3-319-41479-9
  • 2016-07-11
83,19€(IVA inc.)

Formal Specification Level
  • Soeken, Mathias
  • 978-3-319-37882-4
  • 2016-08-23
83,19€(IVA inc.)

Formal Specification Level
  • Soeken, Mathias
  • 978-3-319-08698-9
  • 2014-11-28
90,47€(IVA inc.)

Reversible and Quantum Circuits
  • Abdessaied, Nabila
  • 978-3-319-31935-3
  • 2016-06-14
90,47€(IVA inc.)

Design Automation Techniques for Approximation Circuits
  • Chandrasekharan, Arun
  • 978-3-319-98964-8
  • 2018-10-24
93,59€(IVA inc.)

Languages, Design Methods, and Tools for Electronic System Design
  • Drechsler, Rolf
  • 978-3-319-31722-9
  • 2016-05-26
93,59€(IVA inc.)

Formal System Verification
  • Drechsler, Rolf
  • 978-3-319-57683-1
  • 2017-09-02
103,95€(IVA inc.)

High quality test pattern generation and Boolean satisfiability
  • EggersglüB, Stephan
  • 978-1-4419-9975-7
  • 2012-04-17
103,95€(IVA inc.)

103,95€(IVA inc.)

High Quality Test Pattern Generation and Boolean Satisfiability
  • Eggersglüß, Stephan
  • 978-1-4899-8847-8
  • 2014-10-20
Primera< Anterior 1 2 Siguiente  >Última