Hoppa till sidans huvudinnehåll

Howard Barringer - Böcker

Visar alla böcker från författaren Howard Barringer.
5 produkter
Del 16 - Applied Logic Series

Advances in Temporal Logic

AvHoward Barringer,Michael Fisher,Dov M. Gabbay,Graham Gough

Inbunden, Engelska, 1999

2 079 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 Barringer,Amir Pnueli

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 Falcone,Bernd Finkbeiner,Klaus Havelund,Insup Lee,Gordon Pace,Grigore Rosu,Oleg Sokolsky,Nikolai Tillmann

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Del 16 - Applied Logic Series

Advances in Temporal Logic

AvHoward Barringer,Michael Fisher,Dov M. Gabbay,Graham Gough

Häftad, Engelska, 2010

2 079 kr

Skickas inom 10-15 vardagar