Hoppa till sidans huvudinnehåll

Howard Barringer – författare

Visar alla böcker från författaren Howard Barringer. Handla med fri frakt och snabb leverans.
5 produkter
Del 16 - Applied Logic Series

Advances in Temporal Logic

AvHoward Barringer,Michael Fisherm. fl.

Inbunden, Engelska, 1999

2 099 kr

Skickas inom 10-15 vardagar

Survey of Verification Techniques for Parallel Programs

AvHoward Barringer

Häftad, Engelska, 1985

339 kr

Skickas inom 10-15 vardagar

Temporal Logic in Specification

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

AvBehnam Banieqbal,Howard Barringerm. 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

AvHoward Barringer,Ylies Falconem. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Del 16 - Applied Logic Series

Advances in Temporal Logic

AvHoward Barringer,Michael Fisherm. fl.

Häftad, Engelska, 2010

2 099 kr

Skickas inom 10-15 vardagar