Temporal Logic
Dov M. Gabbay, Hans J. Ohlbach
₹5,251
Results for “Temporale Logik”
Showing 1–15 of 15 books
Temporal Logic
Klaus Mainzer, Stefania Centrone
₹4,328
Temporal Logic
Peter Øhrstrøm, Per Hasle
₹4,227
Temporal Logic
Nicholas Rescher
₹2,813
Temporal Logic
Dov M. Gabbay, M. Finger, M. Reynolds
₹4,577
Temporal Logic in Specification
Howard Barringer, Amir Pnueli
₹4,040
Temporal Logic of Programs
Fred Kroger
₹3,704
Temporal Logic and State Systems
Fred Kröger, Stephan Merz
₹2,790
Temporal Modalities in Arabic Logic
N. Rescher
₹4,219
Temporal Logic for Real-Time Systems
Jonathan S. Ostroff
₹3,934
Verifying Concurrent Processes Using Temporal Logic
B. T. Hailpern
₹5,481
The Temporal Logic of Reactive and Concurrent Systems
Amir Pnueli, Zohar Manna
₹4,268
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
₹15,170
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Ron Koymans
₹5,464
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
₹5,393