jayadev misra

Grid   List

  1. FM 2006: Formal Methods
    FM 2006: Formal Methods
    Jayadev Misra
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Theories of Programming
    Theories of Programming
    Cliff B. Jones
    Association for Computing Machinery and Morgan & Claypool Publishers
    Ebook
    Sofort lieferbar
    Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have b...
    32,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. A Discipline of Multiprogramming
    A Discipline of Multiprogramming
    Jayadev Misra
    Springer US
    Ebook
    Sofort lieferbar
    In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented progra...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Effective Theories in Programming Practice
    Effective Theories in Programming Practice
    Jayadev Misra
    Association for Computing Machinery and Morgan & Claypool Publishers
    Ebook
    Sofort lieferbar
    Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be under...
    32,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. A Discipline of Multiprogramming
    A Discipline of Multiprogramming
    Jayadev Misra
    Springer New York, Springer New York
    Taschenbuch
    Bezug 16-20
    In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming,' unifying several concepts from database theory, object-oriented programming and de...
    64,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>