LIBROS DEL AUTOR: krzysztof apt

7 resultados para LIBROS DEL AUTOR: krzysztof apt

krzysztof apt Eliminar filtro Quitar filtros
  • BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A
    APT KRZYSZTOF R / KRZYSZTOF R APT
    This book offers a short and accessible account of the history of mathematics, written for the intelligent layman to gain a better appreciation of its beauty, relevance, and place in history. It traces the development of the subject throughout the centuries, starting with the so-called Lebombo bone, the oldest known mathematical object that was estimated to be at least 43,000 y...
    Disponible

    46,53 €

  • Verification of Sequential and Concurrent Programs
    Ernst-Rüdiger Olderog / Krzysztof R. Apt
    Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verification using an assertional approach...
    Disponible

    49,93 €

  • Verification of Sequential and Concurrent Programs
    Frank S. de Boer / Krzysztof R. Apt
    Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic ...
    Disponible

    120,50 €

  • Logics and Models of Concurrent Systems
    Krzysztof Apt
    The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent communication by means of interference through jointly shared var...
    Disponible

    132,86 €

  • Principles of Constraint Programming
    Krzysztof Apt
    ...
    Disponible

    86,58 €

  • New Perspectives on Games and Interaction
    Krzysztof Apt / Robert van Rooij
    This volume is a collection of papers presented at the 2007 colloquium on new perspectives on games and interaction at the Royal Dutch Academy of Sciences in Amsterdam.This volume is a collection of papers presented at the 2007 colloquium on new perspectives on games and interaction at the Royal Dutch Academy of Sciences in Amsterdam. The purpose of the colloquium was to clarif...
    Disponible

    112,07 €

  • Programmverifikation
    Ernst-Rüdiger Olderog / Krzysztof Apt
    Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit...
    Disponible

    47,88 €