Howard Barringer - Böcker

Visar alla böcker från författaren Howard Barringer.

5 produkter

Kategorier

5 produkter

Advances in Temporal Logic

Av Howard Barringer, Michael Fisher m. fl

Inbunden, Engelska, 1999

2 059 kr

Skickas inom 10-15 vardagar

Survey of Verification Techniques for Parallel Programs

Av Howard Barringer

Häftad, Engelska, 1985

339 kr

Skickas inom 10-15 vardagar

Temporal Logic in Specification

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

Av Behnam Banieqbal, Howard Barringer m. fl

Häftad, Engelska, 1989

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

Av Howard Barringer, Ylies Falcone m. fl

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Advances in Temporal Logic

Av Howard Barringer, Michael Fisher m. fl

Häftad, Engelska, 2010

2 059 kr

Skickas inom 10-15 vardagar