Bokus

Howard Barringer – författare

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

7 produkter

  1. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough - Advances in Temporal Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    Advances in Temporal Logic

    Av Howard Barringer, Michael Fisher m. fl.

    Inbunden, 1999

    1641 kr

    Lägg i varukorg

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in …

  2. Howard Barringer - Survey of Verification Techniques for Parallel Programs, Häftad. Tillgänglighet: Lägg i varukorg

    Survey of Verification Techniques for Parallel Programs

    Av Howard Barringer

    Häftad, 1985

    265 kr

    Lägg i varukorg

  3. Behnam Banieqbal, Howard Barringer, Amir Pnueli - Temporal Logic in Specification, Häftad. Tillgänglighet: Lägg i varukorg

    Temporal Logic in Specification

    Altrincham, UK, April 8-10, 1987, Proceedings

    Av Behnam Banieqbal, Howard Barringer m. fl.

    Häftad, 1989

    568 kr

    Lägg i varukorg

  4. Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Av Howard Barringer, Ylies Falcone m. fl.

    Häftad, 2010

    568 kr

    Lägg i varukorg

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime …

  5. Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer - Runtime Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Av Nikolai Tillmann, Oleg Sokolsky m. fl.

    E-bok, 2010

    755 kr

    Lägg i varukorg

  6. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough - Advances in Temporal Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Advances in Temporal Logic

    Av Howard Barringer, Michael Fisher m. fl.

    Häftad, 2010

    1641 kr

    Lägg i varukorg

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in …

  7. Graham Gough, Dov M. Gabbay, Michael Fisher, Howard Barringer - Advances in Temporal Logic, E-bok. Tillgänglighet: Lägg i varukorg

    Advances in Temporal Logic

    Av Graham Gough, Dov M. Gabbay m. fl.

    E-bok, 2013

    2111 kr

    Lägg i varukorg

    Time is a fascinating subject and has long since captured mankind''s imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior''s work in …