ERROR

نأسف - رغم أننا بذلنا قصارى جهدنا: حدث خطأ
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 = 11 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 11 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 11 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 11 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 11 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 11 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 11 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 11 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

Fabrizio Biondi & Thomas Given-Wilson 
Model Checking Software [EPUB ebook] 
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings

Ondersteuning
Hoes van Fabrizio Biondi & Thomas Given-Wilson: Model Checking Software (ePUB)

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

€57.76
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat EPUB ● ISBN 9783030309237 ● Editor Fabrizio Biondi & Thomas Given-Wilson ● Uitgeverij Springer International Publishing ● Gepubliceerd 2019 ● Downloadbare 3 keer ● Valuta EUR ● ID 7281004 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Fabrizio BiondiThomas Given-WilsonAxel Legay

16.941 E-boeken in deze categorie

Hoes van Gavin Powell: Database Modeling Step by Step
Gavin Powell: Database Modeling Step by Step
With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …
EPUB
Adobe DRM
€70.76
Hoes van Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering
Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering
Practical Handbook to understand the hidden language of computer hardware and software DESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and …
EPUB
Adobe DRM
€15.46
Hoes van Dan Aldred: Coding with the micro
Dan Aldred: Coding with the micro
A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …
EPUB
Adobe DRM
€23.08
Hoes van Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process
Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process
There is an intrinsic conflict between creating secure systems and usable systems. But usability and security can be made synergistic by providing requirements and design tools with specific usable s …
EPUB
Adobe DRM
€55.32
Hoes van Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization
Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization
This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …
EPUB
Adobe DRM
€25.42
Hoes van Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL
Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL
SQL is a widely used to access most databases, therefore database developers and system administrators should be familiar with it. This hands-on SQL book will help beginner and intermediate user …
EPUB
Adobe DRM
€64.34
Hoes van Donald J. Reifer: Software Maintenance Success Recipes
Donald J. Reifer: Software Maintenance Success Recipes
Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …
EPUB
Adobe DRM
€102.94
Hoes van 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
Hoes van 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
Hoes van Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …
EPUB
Adobe DRM
€168.70
Volgende pagina >>>