Nonfiction | Computer & Technology

Dynamic Logic. New Trends and Applications

by Manuel A. Martins

2020-06-30 12:29:25

Compare Price
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 sh... Read more
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Less

Book Details

Publication date December 21, 2020
Languageeng
ISBN9783030388089
autor-image
Manuel A. Martins
Author
...

Compare Prices

Store Availability Book Format Condition Price
eBooks.com In Stock Buy AUD 89.0
eBooks.com In Stock Buy GBP 49.99
eBooks.comIn Stock
Format
Condition
Buy AUD 89.0
eBooks.comIn Stock
Format
Condition
Buy GBP 49.99
Available Discount
No Discount available

Related Books

View All
Drones For Dummies
☆ ☆ ☆ ☆ ☆
Type Theory and Formal Proof
☆ ☆ ☆ ☆ ☆
Troubleshooting Cisco Nexus Switches and NX-OS
☆ ☆ ☆ ☆ ☆
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments
☆ ☆ ☆ ☆ ☆
Network Programmability and Automation
☆ ☆ ☆ ☆ ☆
CompTIA Network+ Study Guide
☆ ☆ ☆ ☆ ☆
Privacy and Legal Issues in Cloud Computing
☆ ☆ ☆ ☆ ☆
Rapid Prototyping Software for Avionics Systems
☆ ☆ ☆ ☆ ☆
The Digital Filmmaking Handbook
☆ ☆ ☆ ☆ ☆
MCSA SQL 2016 BI Development Exam Ref 2-pack
☆ ☆ ☆ ☆ ☆
Windows Server 2012 R2 Pocket Consultant Volume 2
☆ ☆ ☆ ☆ ☆
The Seismic Analysis Code
☆ ☆ ☆ ☆ ☆
LPIC-1
☆ ☆ ☆ ☆ ☆
Topics at the Frontier of Statistics and Network Analysis
☆ ☆ ☆ ☆ ☆
Microsoft SharePoint 2013 Step by Step
☆ ☆ ☆ ☆ ☆
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide
☆ ☆ ☆ ☆ ☆
Expanding and Networking Microcomputers
☆ ☆ ☆ ☆ ☆
CISM Certified Information Security Manager All-in-One Exam Guide
☆ ☆ ☆ ☆ ☆
Python Programming for Arduino
☆ ☆ ☆ ☆ ☆
Abstract Methods in Information Theory
☆ ☆ ☆ ☆ ☆
Practical Monitoring
☆ ☆ ☆ ☆ ☆
Make
☆ ☆ ☆ ☆ ☆
Windows 10 Bible
☆ ☆ ☆ ☆ ☆
Complex Analysis with MATHEMATICA®
☆ ☆ ☆ ☆ ☆
Moodle Gradebook
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS