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.
save
₹1,768.00
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
10-12 Days Shipping (Supply on Demand) Advance payment (not refundable)
₹5,304.00₹7,072.00
Only 1 left in stock
| Weight | 1 kg |
|---|---|
| Book Author | Schreiner |
| Edition | 1st |
| Format | Hardback |
| ISBN | 9783031249334 |
| Language | English |
| Pages | 284 |
| Publication Year | |
| Publisher |
Customer Reviews
There are no reviews yet.
Related products
-
Knowledge-Based Intelligent Techniques in Character Recognition
₹8,752.00This resource will interest anyone involved in computer science, computer engineering, applied mathematics, or related fields. It will also be of use to researchers, application engineers and students who wish to develop successful character recognition systems such as those used in reading addresses in a postal routing system or processing bank checks.
₹27,350.00 -
Artificial Intelligence and Soft Computing: Behavioral and Cognitive Modeling of the Human Brain
₹6,652.00With all the material available in the field of artificial intelligence (AI) and soft computing-texts, monographs, and journal articles-there remains a serious gap in the literature. Until now, there has been no comprehensive resource accessible to a broad audience yet containing a depth and breadth of information that enables the reader to fully understand and readily apply AI and soft computing concepts.
₹20,786.00 -
Navigating Social Media Legal Risks
₹1,300.00Craft legally compliant social media promotions, contests, sweepstakes, and advertising campaigns
• Write effective social media policies and implement best practices for governance
• Ensure the security of sensitive company and customer information
• Properly monitor and regulate the way your employees use social media
• Avoid high-profile social media mishaps that can instantly damage reputation, brand equity, and goodwill, and create massive potential liability
• Avoid unintentional employment and labor law violations in the use of social media in pre-employment screening
• Manage legal issues associated with game-based marketing, “virtual currencies,” and hyper-targeting
• Manage the legal risks of user-generated content (UGC)
• Protect your trademarks online, and overcome brandjacking and cybersquatting
• Understand the e-discovery implications of social media in lawsuits
₹2,599.00 -
Journey to Data Quality
₹1,103.00The authors, all leaders in the data quality field for many years, discuss how to make the economic case for data quality and the importance of getting an organization’s leaders on board. They outline different approaches for assessing data, both subjectively (by users) and objectively (using sampling and other techniques). They describe real problems and solutions, including efforts to find the root causes of data quality problems at a healthcare organization and data quality initiatives taken by a large teaching hospital. They address setting company policy on data quality and, finally, they consider future challenges on the journey to data quality.
₹3,150.00 -
Introduction to Contextual Processing
₹6,749.00After defining the key dimensions of a model for contextual processing, the book discusses how data is used to develop a semantic model for contexts as well as language-driven context-specific processing actions. It then applies rigorous mathematical methods to contexts, examines basic sensor data fusion theory and applies it to the contextual fusion of information, and describes the means to distribute contextual information. The authors also illustrate a new type of data repository model to manage contextual data, before concluding with the requirements of contextual security in a global environment. This seminal work presents an integrated framework for the design and operation of the next generation of IT processing. It guides the way for developing advanced IT systems and offers new models and concepts that can support advanced semantic web and cloud computing capabilities at a global scale.
₹20,450.00 -
Petri Net Algebra
₹5,090.00This book brings together two of the most widely used formalisms for de scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be haviour.
₹15,425.00 -
Computer Vision for Assistive Healthcare
₹5,195.00In addition, the book covers the technology behind intelligent wheelchairs, how computer vision technologies have the potential to assist blind people, and about the computer vision-based solutions recently employed for safety and health monitoring.
₹12,082.00 -
Java
₹2,829.00The Late Objects Version begins with a rich treatment of procedural programming, including two full chapters on control statements and 200+ exercises. Keep Your Course Current: This edition can be used with Java SE 7 or Java SE 8, and is up-to-date with the latest technologies and advancements. Facilitate Learning with Outstanding Applied Pedagogy: Making a Difference exercise sets, projects, and hundreds of valuable programming tips help students apply concepts. Support Instructors and Students: Student and instructor resources are available to expand on the topics presented in the text.
₹6,150.00
Be the first to review “Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker”