English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Temporal Logic and State Systems
Posted on 2010-03-15
|  |
More Fred Kröger, Stephan Merz “Temporal Logic and State Systems" Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers. "
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| depositfiles.com | Alive |
| easy-share | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Study Object-Oriented Design for Temporal GIS (Research Monographs in Geographical Information Systems) Monica Wachowicz, "Object-Oriented Design for Temporal GIS (Research Monographs in Geographical Information Systems)"Publisher: CRC | 1999-06-17 | ISBN: 0748408312 | 118 pages | PDF | 3.13 MBObject-oriented Design for Temporal GIS explores ... |
 | Programming Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach Wojciech Penczek , Agata Pólrola, "Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach" Springer; 1 edition (July 28, 2006) | ISBN-10: 3540328696 | 257 Pages | PDF | 42 MB This monograph presents a co ... |
Technical Statistical methods for spatio-temporal systems Author: Barbel Finkenstadt, Leonhard Held, Valerie IshamPublisher: : Boca Raton, FL : Chapman & Hall/CRC,Publish Date: 10/20/2006ISBN: 9781584885931Pages: 286Statistical Methods for Spatio-Temporal Systems presents current statistical ... |
|
 | Programming Temporal Logic and State Systems (Repost) Temporal Logic and State Systems Publisher: Springer | ISBN: 3540674012 | edition 2008 | PDF | 436 pages | 10,5 mbTemporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and v ... |
 | Temporal Logic: From Ancient Ideas to Artificial Intelligence (Repost) Temporal Logic: From Ancient Ideas to Artificial Intelligence Publisher: Springer | ISBN: 0792335864 | edition 1995 | PDF | 428 pages | 14,6 mbTemporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal ... |
 | Mathematics Statistical Methods for Spatio-Temporal Systems Barbel Finkenstadt, Leonhard Held, Valerie Isham ¡°Statistical Methods for Spatio-Temporal Systems" Chapman & Hall/CRC | 2006-10-20 | ISBN: 1584885939 | 286 pages | PDF | 9,4 Mb Statistical Methods for Spatio-Temporal Systems presents ... |
Comments (0)
