Model Checking Software

Jaco van der Pol & Michael Weber

Jaco van der Pol & Michael Weber
Model Checking Software [PDF ebook]
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Підтримка

Обкладинка Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

€57.96

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9783642161643 ● Редактор Jaco van der Pol & Michael Weber ● Видавець Springer Berlin Heidelberg ● Опубліковано 2010 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6377802 ● Захист від копіювання Adobe DRM

ERROR	Przepraszamy - choć zrobiliśmy wszystko, co w naszej mocy: wystąpił błąd
Type	database
Message	You 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
Query	SELECT (SELECT categories_id FROM categories_description WHERE language_id = 7 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 7 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 7 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 7 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 7 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 7 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 7 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 7 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

ERROR

Більше електронних книг того самого автора / Редактор

16 921 Електронні книги в цій категорі

Змінення мови користувача

Modal