mehr als bücher

Grid  List

  1. Computation Engineering
    Computation Engineering
    Ganesh Gopalakrishnan
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeMathematical Preliminaries.- Cardinalities and Diagonalization.- Binary Relations.- ...

    98,39 €*
  2. Computation Engineering
    Computation Engineering
    Ganesh Gopalakrishnan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeForeword.- Introduction.- Mathematical Preliminaries.- Cardinalities and Diagonaliza...

    98,39 €*
  3. Computation Engineering
    Computation Engineering
    Ganesh Gopalakrishnan
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    Many textbooks on formal methods and verification do an excellent job of discussing theory -- oft...

    74,85 €*
  4. Formal Methods in Computer-Aided Design
    Formal Methods in Computer-Aided Design
    Ganesh Gopalakrishnan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Ching-TsunChou (Intel, USA), EduardCerny (Univ.

    53,49 €*
  5. Computer Aided Verification
    Computer Aided Verification
    Ganesh Gopalakrishnan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 23rd International Conference on Computer A...

    53,49 €*
  1. 1