Hoppa till sidans huvudinnehåll

Howard Barringer – författare

Visar alla böcker från författaren .
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

AvHoward Barringer,Michael Fisherm. fl.

Inbunden, Engelska, 1999

2 109 kr

Skickas inom 10-15 vardagar

Howard Barringer - Survey of Verification Techniques for Parallel Programs, Häftad

Survey of Verification Techniques for Parallel Programs

AvHoward Barringer

Häftad, Engelska, 1985

339 kr

Skickas inom 10-15 vardagar

Behnam Banieqbal, Howard Barringer, Amir Pnueli - Temporal Logic in Specification, Häftad

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

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

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

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

Advances in Temporal Logic

AvHoward Barringer,Michael Fisherm. fl.

Häftad, Engelska, 2010

2 109 kr

Skickas inom 10-15 vardagar