ganesh gopalakrishnan

Grid   List

  1. Computation Engineering
    Computation Engineering
    Ganesh Gopalakrishnan
    Springer New York
    Ebook
    Sofort lieferbar
    'This classroom-tested undergraduate textbook is unique in presenting logic and automata theory as a single subject...I highly recommend this book to you as the best route I know into the concepts ...
    89,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Computer Aided Verification
    Computer Aided Verification
    Ganesh Gopalakrishnan
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers pres...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automata and Computability
    Automata and Computability
    Ganesh Gopalakrishnan
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    This class-tested textbook provides a comprehensive and accessible introduction to the theory of automata and computation. It incorporates modern handy ideas, such as derivative-based parsing and a...
    57,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Automata and Computability
    Automata and Computability
    Ganesh Gopalakrishnan
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    This class-tested textbook provides a comprehensive and accessible introduction to the theory of automata and computation. It incorporates modern handy ideas, such as derivative-based parsing and a...
    57,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods in Computer-Aided Design
    Formal Methods in Computer-Aided Design
    Ganesh Gopalakrishnan
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998.The...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Konrad Slind
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. TPHOLs cover...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Computation Engineering
    Computation Engineering
    Ganesh Gopalakrishnan
    Springer US, Springer US
    Taschenbuch
    Bezug 11-15
    It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one est...
    113,62 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Konrad Slind
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. TPHOLs cover...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Formal Methods in Computer-Aided Design
    Formal Methods in Computer-Aided Design
    Phillip Windley
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD 98), organized November 4-6, in Palo Alto, California, USA. The rst event o...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Computer Aided Verification
    Computer Aided Verification
    Shaz Qadeer
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full p...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Specification and Analysis of Discrete Systems:
    Specification and Analysis of Discrete Systems:
    Ganesh Gopalakrishnan
    Taylor & Francis Ltd
    Buch
    Vorbestellbar
    This class-tested textbook provides a comprehensive and accessible introduction to discrete systems. The author uses illustrations, engaging examples, and historical remarks to make the material in...
    102,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>