mehr als bücher

Grid  List

  1. Computer Aided Verification
    Computer Aided Verification
    Alan J Hu
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeSynchronous programming of reactive systems.- Ten years of partial order reduction.-...

    106,99 €*
  2. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Hana Chockler
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30,...

    53,49 €*
  3. Modern Clinical Molecular Techniques
    Modern Clinical Molecular Techniques
    Peter Hu
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    This timely book covers the need to know clinical practices for all those involved in molecular l...

    213,99 €*
  4. Modern Clinical Molecular Techniques
    Modern Clinical Molecular Techniques
    Peter Hu
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This timely book covers the need to know clinical practices for all those involved in molecular l...

    213,99 €*
  5. Formal Methods in Computer-Aided Design
    Formal Methods in Computer-Aided Design
    Alan J Hu
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 5th International Conference on Formal Meth...

    53,49 €*
  1. 1