by Title
by Author
by ISBN
All Categories
Children's And Educational
Computing And Information Technology
Earth Sciences, Geography, Environment, Planning
Economics, Finance, Business And Industry
English Language Teaching (ELT)
Family, Home And Practical Interests
Fiction
Humanities
Language, Literature And Biography
Law
Mathematics And Science
Medicine
Reference, Information And Interdisciplinary Subjects
Social Sciences
Sport, Travel And Leisure Interests
Technology, Engineering, Agriculture, Veterinary Science
The Arts
Books.co.uk
Amir Pnueli - Author Publication List
Please browse author publication list below
Temporal Logic of Reactive and Concurrent Systems Specification - Hardback book
Temporal Verification of Reactive Systems - Hardback book
Hybrid Systems - Computation and Control - Paperback book
Temporal Logic of Reactive and Concurrent Systems - Hardback book
Temporal Logic in Specification - Paperback book
Compositionality: The Significant Difference - Paperback book