ERROR

Ne pare rău - deși am făcut tot posibilul: a apărut o eroare
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 = 15 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 15 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 15 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 15 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 15 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 15 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 15 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 15 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
Cover of Wolfgang Schreiner: Concrete Abstractions (ePUB)

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

Wolfgang Schreiner

49,788 Ebooks in this category

Cover of Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces
Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces
This new volume shows how it is possible to further develop and essentially extend the theory of operators in infinite-dimensional vector spaces, which plays an important role in mathematics, physics …
EPUB
Adobe DRM
€148.74
Cover of Prabir K. (Dept. of Food Science, Minas Gerais, Brazil) Chandra & R. Paul (University of California, Davis, USA) Singh: Applied Numerical Methods for Food and Agricultural Engineers
Prabir K. (Dept. of Food Science, Minas Gerais, Brazil) Chandra & R. Paul (University of California, Davis, USA) Singh: Applied Numerical Methods for Food and Agricultural Engineers
Written from the expertise of an agricultural engineering background, this exciting new book presents the most useful numerical methods and their complete program listings. …
EPUB
Adobe DRM
€384.07
Cover of Henning Bumann & Malte Grosser: Advanced R Solutions
Henning Bumann & Malte Grosser: Advanced R Solutions
This book offers solutions to all 284 exercises in Advanced R, Second Edition . All the solutions have been carefully documented and made to be as clear and accessible as possible. Working through th …
EPUB
Adobe DRM
€51.52
Cover of Giovanni Dore: Differential Equations in Banach Spaces
Giovanni Dore: Differential Equations in Banach Spaces
This reference – based on the Conference on Differential Equations, held in Bologna – provides information on current research in parabolic and hyperbolic differential equations. Presenting methods a …
EPUB
Adobe DRM
€210.55
Cover of Zhongying Chen: Advances in Computational Mathematics
Zhongying Chen: Advances in Computational Mathematics
This volume presents the refereed proceedings of the Guangzhou International Symposium on Computational Mathematics, held at the Zhongshan University, People”s Republic of China. Nearly 90 internati …
EPUB
Adobe DRM
€238.06
Cover of Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation
Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation
This practical book presents fundamental concepts and issues in computer modeling and simulation (M&S) in a simple and practical way for engineers, scientists, and managers who wish to apply simulati …
EPUB
Adobe DRM
€70.47
Cover of M.D.S. (Ecole Polytechnique, Montreal, Canada) Aliyu: Nonlinear H-Infinity Control, Hamiltonian Systems and Hamilton-Jacobi Equations
M.D.S. (Ecole Polytechnique, Montreal, Canada) Aliyu: Nonlinear H-Infinity Control, Hamiltonian Systems and Hamilton-Jacobi Equations
A comprehensive overview of nonlinear H∞ control theory for both continuous-time and discrete-time systems, Nonlinear H∞-Control, Hamiltonian Systems and Hamilton-Jacobi Equations covers topics as di …
EPUB
Adobe DRM
€124.79
Cover of Garrett Birkhoff & Saunders Mac Lane: A Survey of Modern Algebra
Garrett Birkhoff & Saunders Mac Lane: A Survey of Modern Algebra
This classic, written by two young instructors who became giants in their field, has shaped the understanding of modern algebra for generations of mathematicians and remains a valuable reference and …
EPUB
Adobe DRM
€99.18
Cover of S. Coen: Geometry and Complex Variables
S. Coen: Geometry and Complex Variables
This reference presents the proceedings of an international meeting on the occasion of the University of Bologna”s ninth centennial-highlighting the latest developments in the field ofgeometry and c …
EPUB
Adobe DRM
€482.62
Cover of Klaus G. Fischer: Computational Algebra
Klaus G. Fischer: Computational Algebra
Based on the fifth Mid-Atlantic Algebra Conference held recently at George Mason University, Fairfax, Virginia. Focuses on both the practical and theoretical aspects of computational algebra. Demonst …
EPUB
Adobe DRM
€332.86
Next page >>>