The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
save
₹943.00
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17?22, 2023, Proceedings, Part I
10-12 Days Shipping (Supply on Demand) Advance payment (not refundable)
₹2,828.00₹3,771.00
Only 1 left in stock
| Weight | 1 kg |
|---|---|
| Book Author | Enea |
| Edition | 1st |
| Format | Paperback |
| ISBN | 9783031377051 |
| Language | English |
| Pages | 520 |
| Publication Year | |
| Publisher |
Customer Reviews
There are no reviews yet.
Related products
-
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 -
Starting out with Visual C#
₹3,151.00The Fourth Edition has been completely updated for Visual Studio 2015 and contains new sections on debugging, accessing controls on different forms, and auto-properties.
₹7,329.00 -
Data Mining and Predictive Analysis: Intelligence Gathering and Crime Analysis
₹3,014.00Data Mining and Predictive Analysis: Intelligence Gathering and Crime Analysis, 2nd Edition, describes clearly and simply how crime clusters and other intelligence can be used to deploy security resources most effectively.
₹6,850.00 -
Web Development and Design Foundations with HTML5
₹3,434.00An emphasis on hands-on practice guides students, as the text introduces topics ranging from configuration and layout to accessibility techniques and ethical considerations. The 8th Edition contains updated coverage of HTML5 and CSS, expanded coverage of designing for mobile devices, and more.
₹7,985.00 -
Oracle Embedded Programming and Application Development
₹6,749.00Bulusu is a database programming expert and the author of six books about Oracle as well as numerous journal articles on database programming. Annotation ©2010 Book News, Inc., Portland.
₹20,450.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 -
Agile Software Development
₹1,768.00“Agile Software Development is a highly stimulating and rich book. The author has a deep background and gives us a tour de force of the emerging agile methods.”
₹5,199.00
Be the first to review “Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17?22, 2023, Proceedings, Part I”