ERROR

Entschuldigung - obwohl wir unser Bestes getan haben: es ist ein Fehler aufgetreten
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 = 1 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 1 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 1 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 1 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 1 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 1 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 1 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 1 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

Dominique Mery & Alexander Raschke 
Rigorous State-Based Methods [EPUB ebook] 
8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Support
Cover of Dominique Mery & Alexander Raschke: Rigorous State-Based Methods (ePUB)

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 Ph D symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

€70.38
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9783030775438 ● Editor Dominique Mery & Alexander Raschke ● Publisher Springer International Publishing ● Published 2021 ● Downloadable 3 times ● Currency EUR ● ID 8033294 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Dominique MeryAlexander Raschke

75,678 Ebooks in this category

Cover of Daniel (German Sport University Cologne, Germany) Memmert & Dominik Raabe: Data Analytics in Football
Daniel (German Sport University Cologne, Germany) Memmert & Dominik Raabe: Data Analytics in Football
Data Analytics in Football provides students, researchers, and coaches with a firm grounding in the principles of modern performance analysis. It offers an insight into the use of positional data, ex …
EPUB
Adobe DRM
€48.86
Cover of David Prosperi & Sisi Zlatanova: Large-scale 3D Data Integration
David Prosperi & Sisi Zlatanova: Large-scale 3D Data Integration
Large-Scale 3D Data Integration: Challenges and Opportunities examines the fundamental aspects of 3D geo-information, focusing on the latest developments in 3D GIS (geographic information) and AEC (a …
EPUB
Adobe DRM
€79.96
Cover of Team Orange: Touchpad Modular Ver. 1.1 Class 4
Team Orange: Touchpad Modular Ver. 1.1 Class 4
Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …
EPUB
Adobe DRM
€20.55
Cover of Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation
Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation
The Key to Fully Understanding the Basics of a 3D World Prominently used in games, movies, and on television, 3D graphics are tools of creation used to enhance how material and light come together to …
EPUB
Adobe DRM
€73.17
Cover of Haripriya Dhall & Bijay Kumar Sahoo: Microsoft Power Platform A Deep Dive
Haripriya Dhall & Bijay Kumar Sahoo: Microsoft Power Platform A Deep Dive
With "Microsoft’s Power Platform A Deep Dive, " you can learn more about how Microsoft’s Power Platform creates and fosters opportunities for users to enhance their technical skills and boo …
EPUB
Adobe DRM
€25.53
Cover of Khalid Bashir Dar & Zubair Sayeed Masoodi: Digital and Technological Solutions
Khalid Bashir Dar & Zubair Sayeed Masoodi: Digital and Technological Solutions
Introducing a groundbreaking textbook specifically tailored for the newly designed course "Digital and Technological Solutions" under the New Education Policy NEP-2020. This comprehensive b …
EPUB
Adobe DRM
€25.49
Cover of The Cheat Mistress: Portal 2
The Cheat Mistress: Portal 2
Portal 2 Single Player Walkthrough Details Is GLa DOS, Wheatley and the portal gun getting the better of you? With this complete single player walkthrough, we will guide you safely and easily through …
EPUB
Adobe DRM
€2.56
Cover of Mano (SecuRisk Solutions, Pflugerville, Texas, USA) Paul: The 7 Qualities of Highly Secure Software
Mano (SecuRisk Solutions, Pflugerville, Texas, USA) Paul: The 7 Qualities of Highly Secure Software
The 7 Qualities of Highly Secure Software provides a framework for designing, developing, and deploying hacker-resilient software. It uses engaging anecdotes and analogies-ranging from Aesop”s fable …
EPUB
Adobe DRM
€75.27
Cover of Bob Urichuck & Dave Urichuck: Motivate Your Team in 30 Days
Bob Urichuck & Dave Urichuck: Motivate Your Team in 30 Days
Self-motivation and team motivation are the foundations to success. They build self-esteem and self-confidence, and result in an overall better working environment. A motivated and engaged environmen …
EPUB
Adobe DRM
€24.74
Cover of Jan M. Allbeck & Norman I. Badler: Simulating Heterogeneous Crowds with Interactive Behaviors
Jan M. Allbeck & Norman I. Badler: Simulating Heterogeneous Crowds with Interactive Behaviors
This book provides a deep understanding of state-of-art methods for simulation of heterogeneous crowds in computer graphics. It will cover different aspects that are necessary to achieve plausible cr …
EPUB
Adobe DRM
€55.38
Next page >>>