Buy Used and New HowardBarringer Books

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science)

by Behnam Banieqbal, Howard Barringer, Amir Pnueli

ISBN 13: 9783540518037

Format: Paperback (448 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

A Survey of Verification Techniques for Parallel Programs: 191 (Lecture Notes in Computer Science)

by Howard Barringer

ISBN 13: 9783540152392

Format: Paperback (115 pages)
Publisher: Springer
Published: 01 May 1985

Save for later

Advances in Temporal Logic (Applied Logic Series): 16

by Howard Barringer

ISBN 13: 9789048153893

Format: Paperback (468 pages)
Publisher: Springer
Published: 08 Dec 2010

Save for later