Educated Owl Books

Sell with us!

Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

by Behnam Banieqbal, Howard Barringer, Amir Pnueli Paperback 1989

⭐ 0.0 rating

| 📖 0 saved | ✅ 0 verified

Author: Behnam Banieqbal, Howard Barringer, Amir Pnueli
ISBN 13: 9783540518037
ISBN 10: 3540518037
Publication Year: 1989
Language: English

Specifications

Index-103540518037

LanguageEnglish

Index-139783540518037

Period-

Class Track-

Publisher- (1989)

Pages-