[PDF] temporal logic free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


46 books found   ►also search"temporal logic" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
910755 Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department Report (Stanford University. Computer Science Department), no. STAN-CS-89-1267
A really temporal logic [Lecture notes ed.]
Dept. of Computer Science Stanford University 2007 26 p. ; 28 cm English 5 kb rar GET
910756 Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department Report (Stanford University. Computer Science Department), no. STAN-CS-89-1267
A really temporal logic [Lecture notes ed.]
Dept. of Computer Science Stanford University 2007 433 English 2 Mb pdf GET
1123072 Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.) Applied Logic Series 16
Advances in temporal logic [1 ed.]
978-90-481-5389-3, 978-94-015-9586-5
Springer Netherlands 2000 453 English 4 Mb djvu GET
1075237 Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.) Applied Logic Series 16
Advances in Temporal Logic [1 ed.]
978-90-481-5389-3, 978-94-015-9586-5
Springer Netherlands 2000 453 English 27 Mb pdf GET
418327 Wojciech Penczek, Agata Polrola Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [1 ed.]
3540328696, 9783540328698, 9783540328704
2006 289 English 3 Mb pdf GET
112425 Wojciech Penczek, Agata Pólrola Studies in Computational Intelligence
Advances in verification of time petri nets and timed automata: a temporal logic approach [1 ed.]
9783540328698, 3540328696
Springer 2006 280 English 3 Mb pdf GET
941750 Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.) Studies in Computational Intelligence 20
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [1 ed.]
978-3-540-32869-8, 978-3-540-32870-4
Springer-Verlag Berlin Heidelberg 2006 257 English 7 Mb pdf GET
824146 Michael Fisher An Introduction to Practical Formal Methods Using Temporal Logic [1 ed.]
0470027886, 9780470027882
Wiley 2011 353 English 2 Mb pdf GET
816263 Michael Fisher An Introduction to Practical Formal Methods Using Temporal Logic [1 ed.]
0470027886, 9780470027882
Wiley 2011 353 English 2 Mb pdf GET
1436904 Fabio Mogavero Branching-Time Temporal Logics. Theoretical Issues and a Computer Science Application [PhD Thesis] Università di Napoli 2007 160 English 1 Mb pdf GET
1436906 Jakub Michaliszyn Decidability of Modal Logics with Particular Emphasis on the Interval Temporal Logics [PhD Thesis] University of Wroclaw 2012 100 English 1 Mb pdf GET
1121344 Lichtenstein O. Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis] 1991 256 English 4 Mb djvu GET
337411 Michael Fisher, Richard Owens (auth.), Michael Fisher, Richard Owens (eds.) Lecture Notes in Computer Science 897 : Lecture Notes in Artificial Intelligence
Executable Modal and Temporal Logics: IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings [1 ed.]
3540589767
Springer-Verlag Berlin Heidelberg 1995 188 English 2 Mb djvu GET
57689 Ben C. Moszkowski Executing Temporal Logic Programs
9780521310994, 0521310997
Cambridge University Press 1986 125 English 491 kb pdf GET
1122107 Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4: Epistemic and Temporal Reasoning
0198537913
Oxford 1995 630 English 7 Mb djvu GET
957755 Patrick C. McGeer, Robert K. Brayton (auth.) The Springer International Series in Engineering and Computer Science 139
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications [1 ed.]
978-1-4613-6768-0, 978-1-4615-3960-5
Springer US 1991 212 English 6 Mb pdf GET
1005712 Fabio Mogavero (auth.) Atlantis Studies in Computing 3
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics [1 ed.]
978-94-91216-94-7, 978-94-91216-95-4
Atlantis Press 2013 149 English 2 Mb pdf GET
1051871 Fabio Mogavero Atlantis Studies in Computing
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics [2013 ed.]
9491216945, 9789491216947
Atlantis Press 2013 200 English 4 Mb pdf GET
338665 Ron Koymans (eds.) Lecture Notes in Computer Science 651
Specifying Message Passing and Time-Critical Systems with Temporal Logic [1 ed.]
3540562834, 9783540562832
Springer-Verlag Berlin Heidelberg 1992 166 English 1 Mb djvu GET
599360 Rescher N., Urquhart A. Library of exact philosophy
Temporal logic
0387809953, 9780387809953
Springer 1971 288 English 2 Mb djvu GET
439561 Fred Kroger, Stephan Merz Texts in Theoretical Computer Science. An EATCS Series
Temporal Logic and State Systems
3540674012, 9783540674016
Springer 2008 445 English 4 Mb pdf GET
599086 Ostroff J.S. Advanced Software Development Series
Temporal logic for real-time systems
0471924024, 9780471924029
Wiley 1989 224 English 2 Mb djvu GET
893218 J. Ostroff Temporal Logic for Real-Time Systems [comp sci] Wiley 1989 224 English 12 Mb pdf GET
1414106 Chomicki J., Toman D. Temporal logic in information systems BRICS 1997 51 English 279 kb pdf GET
595894 Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.) Lecture Notes in Computer Science 398
Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings [1 ed.]
3540518037, 9783540518037
Springer-Verlag Berlin Heidelberg 1989 452 English 4 Mb djvu GET
  ►
 Полищук А.И.

Победря Б.Е.
Noam Chomsky, Adriana Belletti, Luigi Rizzi
Inc Distribooks
Cayley A.
Rudolf Fritsch, Gerda Fritsch, J.lie Peschke
David A. Cox, John Little, Donal O’shea (auth.)
Donald Knutson
Sterling K. Berberian
John Hymers
Juan Luis Vazquez
Robert Weinstock
Peter Harmand, Dirk Werner, Wend Werner
Антоневич А.Б.
Legendre A.M.
American Mathematical Society
Chasles M.
Уайтхед Дж. (G.W.Whitehead)
Hwang A.D.

samplingworking paperocean wavesdevelopmental biologyarchaeologyejection fractionground statebinding sitesallometryuncertainty