ERROR

We are sorry - although we did our best: an error occurred
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 = 2 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 2 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 2 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 2 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 2 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 2 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 2 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 2 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

Gustavo Carvalho & Volker Stolz 
Formal Methods: Foundations and Applications [EPUB ebook] 
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Support
Cover of Gustavo Carvalho & Volker Stolz: Formal Methods: Foundations and Applications (ePUB)

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter Safety Assurance of a High Voltage Controller for an Industrial Robotic System is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

€70.77
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9783030638825 ● Editor Gustavo Carvalho & Volker Stolz ● Publisher Springer International Publishing ● Published 2020 ● Downloadable 3 times ● Currency EUR ● ID 8148617 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Gustavo CarvalhoVolker Stolz

16,941 Ebooks in this category

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 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 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 Jimmy Russell: 101 Amazing Atari 2600 Facts
Jimmy Russell: 101 Amazing Atari 2600 Facts
In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …
EPUB
Adobe DRM
€3.85
Cover of Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection
Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection
Today”s malware mutates randomly to avoid detection, but reactively adaptive malware is more intelligent, learning and adapting to new computer defenses on the fly. Using the same algorithms that an …
EPUB
Adobe DRM
€55.44
Cover of Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security
Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security
‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …
EPUB
Adobe DRM
€57.60
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 Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles
Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles
EPUB
Adobe DRM
€218.55
Cover of Mike McGrath: C, C++ & C# in easy steps
Mike McGrath: C, C++ & C# in easy steps
C, C++ & C# in easy steps is a comprehensive guide to help you create your own programs in the C, C++ and C# programming languages, combining knowledge from the latest C, C++ and C# books in the In E …
EPUB
Adobe DRM
€38.57
Next page >>>