ERROR

نأسف - رغم أننا بذلنا قصارى جهدنا: حدث خطأ
Typedatabase
MessageYou have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near "AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categorie..." at line 5
QuerySELECT (SELECT categories_id FROM categories_description WHERE language_id = 11 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 11 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 11 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 11 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 11 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 11 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 11 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 11 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4name, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 000) AS cat1url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4url, (SELECT wod_count_products FROM categories WHERE categories_id = 000) AS cat1cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3cnt, (SELECT wod_count_products FROM categories WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4cnt

Fred Kroger & Stephan Merz 
Temporal Logic and State Systems [PDF ebook] 

Support
Cover of Fred Kroger & Stephan Merz: Temporal Logic and State Systems (PDF)

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.

€84.84
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9783540686354 ● Publisher Springer Berlin Heidelberg ● Published 2008 ● Downloadable 6 times ● Currency EUR ● ID 8033616 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Fred KrogerStephan Merz

16,931 Ebooks in this category

Cover of Mike McGrath: Coding for Beginners in easy steps, 3rd edition
Mike McGrath: Coding for Beginners in easy steps, 3rd edition
Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …
EPUB
Adobe DRM
€18.50
Cover of Eran Boudjnah: Clean Architecture for Android
Eran Boudjnah: Clean Architecture for Android
"Clean Architecture for Android" was written to help developers apply Clean Architecture to their projects.The book will explain why Clean Architecture is so valuable. It will demonstrate h …
EPUB
Adobe DRM
€25.22
Cover of Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy
Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy
The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …
EPUB
Adobe DRM
€64.49
Cover of Nakul Shah: Blockchain and DLT
Nakul Shah: Blockchain and DLT
Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …
EPUB
Adobe DRM
€25.32
Cover of Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …
EPUB
Adobe DRM
€168.70
Cover of Alessandro Del Sole: Xamarin with Visual Studio
Alessandro Del Sole: Xamarin with Visual Studio
For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …
EPUB
Adobe DRM
€25.46
Cover of Lukasz Gasior: ReSharper Essentials
Lukasz Gasior: ReSharper Essentials
In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …
EPUB
Adobe DRM
€29.16
Cover of Charles W. Kann: Creating Components
Charles W. Kann: Creating Components
Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …
EPUB
Adobe DRM
€122.37
Cover of Zachary Shute: Advanced JavaScript
Zachary Shute: Advanced JavaScript
Gain a deeper understanding of Java Script and apply it to build small applications in backend, frontend, and mobile frameworks. Key Features
  • Explore the new ES6 syntax, the event loop, and …
EPUB
Adobe DRM
€29.66
Cover of Shikha Jain & Kavita Pandey: Code Factory
Shikha Jain & Kavita Pandey: Code Factory
Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …
EPUB
Adobe DRM
€25.32
Next page >>>