ERROR

Nous sommes désolés - même si nous avons fait de notre mieux: une erreur est survenue
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 = 4 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 4 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 4 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 4 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 4 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 4 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 4 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 4 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

Maurice H. ter Beek & Dejan Nickovic 
Formal Methods for Industrial Critical Systems [EPUB ebook] 
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Support

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.

€57.64
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9783030582982 ● Editor Maurice H. ter Beek & Dejan Nickovic ● Publisher Springer International Publishing ● Published 2020 ● Downloadable 3 times ● Currency EUR ● ID 8148390 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,941 Ebooks in this category