Howard Barringer - Böcker

Visar alla böcker från författaren Howard Barringer.
5 produkter
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough - Advances in Temporal Logic, Inbunden
Del 16 - Applied Logic Series

Advances in Temporal Logic

Av Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

Inbunden, Engelska, 1999

2 109 kr

Skickas inom 7-10 vardagar
Howard Barringer - Survey of Verification Techniques for Parallel Programs, Häftad
Del 191 - Lecture Notes in Computer Science

Survey of Verification Techniques for Parallel Programs

Av Howard Barringer

Häftad, Engelska, 1985

349 kr

Skickas inom 7-10 vardagar
Behnam Banieqbal, Howard Barringer, Amir Pnueli - Temporal Logic in Specification, Häftad
Del 398 - Lecture Notes in Computer Science

Temporal Logic in Specification

Av Behnam Banieqbal, Howard Barringer, Amir Pnueli

Häftad, Engelska, 1989

739 kr

Skickas inom 7-10 vardagar
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough - Advances in Temporal Logic, Häftad
Del 16 - Applied Logic Series

Advances in Temporal Logic

Av Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

Häftad, Engelska, 2010

2 109 kr

Skickas inom 7-10 vardagar