ERROR

Siamo spiacenti, anche se abbiamo fatto del nostro meglio: si è verificato un errore
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 = 5 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 5 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 5 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 5 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 5 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 5 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 5 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 5 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

Wolfgang Schreiner 
Concrete Abstractions [EPUB ebook] 
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Support

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a "mathematical model checker" by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.

€83.22
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9783031249341 ● Publisher Springer International Publishing ● Published 2023 ● Downloadable 3 times ● Currency EUR ● ID 8928081 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

49,788 Ebooks in this category