Bokus

Doron Peled – författare

Visar alla böcker från författaren Doron Peled. Handla med fri frakt och snabb leverans.

6 produkter

  1. Cyrille Artho, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis, Häftad. Tillgänglighet: Lägg i varukorg

    Automated Technology for Verification and Analysis

    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

    Av Cyrille Artho, Axel Legay m. fl.

    Häftad, 2016

    561 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in …

  2. Doron Peled, Axel Legay, Cyrille Artho - Automated Technology for Verification and Analysis, E-bok. Tillgänglighet: Lägg i varukorg

    Automated Technology for Verification and Analysis

    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

    Av Doron Peled, Axel Legay m. fl.

    E-bok, 2016

    755 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in …

  3. Doron Peled, Nicolas Halbwachs - Computer Aided Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    11th International Conference, CAV''99, Trento, Italy, July 6-10, 1999, Proceedings

    Av Doron Peled, Nicolas Halbwachs

    E-bok, 2003

    755 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV''99, held in Trento, Italy in July 1999 as part of FLoC''99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also …

  4. Nicolas Halbwachs, Doron Peled - Computer Aided Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

    Av Nicolas Halbwachs, Doron Peled

    Häftad, 1999

    562 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included …

  5. Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith - Model Checking, Inbunden. Tillgänglighet: Tillfälligt slut

    Model Checking

    Av Edmund M. Clarke Jr., Orna Grumberg m. fl.

    Inbunden, 2018

    726 kr

    Tillfälligt slut

  6. Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann - Partial Order Methods in Verification, Inbunden. Tillgänglighet: Tillfälligt slut

    Partial Order Methods in Verification

    Av Doron Peled, Vaughan R. Pratt m. fl.

    Inbunden, 1997

    1457 kr

    Tillfälligt slut

    This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, …