Temporal Logics
Valentin Goranko
₹2,814
Results for “Temporele logica”
Showing 1–19 of 19 books
Temporal Logic
Dov M. Gabbay, Hans J. Ohlbach
₹5,251
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 Logics and Application
Antony Galton
₹3,817
Temporal Logic in Specification
Howard Barringer, Amir Pnueli
₹4,040
Temporal Logic of Programs
Fred Kroger
₹3,704
Executable Modal and Temporal Logics
Michael Fisher, Richard Owens
₹5,470
Temporal Logics in Computer Science
Stéphane Demri, Valentin Goranko, Martin Lange
₹4,334
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