Hero image 0 of Dynamic Logic. New Trends and Applications: Third International Workshop, Dalà 2020, Prague, Czech Republic, October 9-1, (Paperback), 0 of 1
Dynamic Logic. New Trends and Applications: Third International Workshop, Dalà 2020, Prague, Czech Republic, October 9-1, (Paperback)
(No ratings yet)
Key item features
- Dynamic Logic. New Trends and Applications: Third International Workshop, Dalà 2020, Prague, Czech Republic, October 9-1, (Paperback)
- Author: Springer
- ISBN: 9783030658397
- Format: Paperback
- Publication Date: 2020-12-22
- Page Count: 295
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateDecember, 2020
- Pages295
- SubgenreNetworking
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days for just $1! Choose a plan at checkout.
Ships to
Arrives by Wed, May 13
.Order within 10 hr 22 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (2)
Starting from $62.35
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
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.
- Dynamic Logic. New Trends and Applications: Third International Workshop, Dalà 2020, Prague, Czech Republic, October 9-1, (Paperback)
- Author: Springer
- ISBN: 9783030658397
- Format: Paperback
- Publication Date: 2020-12-22
- Page Count: 295
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
December, 2020
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Theory and Practice of Natural Computing: 6th International Conference, Tpnc 2017, Prague, Czech Republic, December 18-2, (Paperback) $54.99
$5499current price $54.99Theory and Practice of Natural Computing: 6th International Conference, Tpnc 2017, Prague, Czech Republic, December 18-2, (Paperback)
Inductive Logic Programming: 7th International Workshop, Ilp-97, Prague, Czech Republic, September 17-20, 1997, Proceedi, (Paperback) $38.30 Was $54.99
$3830current price $38.30, Was $54.99$54.99Inductive Logic Programming: 7th International Workshop, Ilp-97, Prague, Czech Republic, September 17-20, 1997, Proceedi, (Paperback)
Theory and Applications of Formal Argumentation: Third International Workshop, Tafa 2015, Buenos Aires, Argentina, July , (Paperback) $60.29
$6029current price $60.29Theory and Applications of Formal Argumentation: Third International Workshop, Tafa 2015, Buenos Aires, Argentina, July , (Paperback)
Modelling and Simulation for Autonomous Systems: Second International Workshop, Mesas 2015, Prague, Czech Republic, Apri, (Paperback) $54.99
$5499current price $54.99Modelling and Simulation for Autonomous Systems: Second International Workshop, Mesas 2015, Prague, Czech Republic, Apri, (Paperback)
Lecture Notes in Computer Science Innovative Internet Community Systems: Third International Workshop, Iics 2003, Leipzig, Germany, June 19-21, 2003, Revi, Book 2877, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Innovative Internet Community Systems: Third International Workshop, Iics 2003, Leipzig, Germany, June 19-21, 2003, Revi, Book 2877, (Paperback)
Graphics Recognition. Current Trends and Challenges: 10th International Workshop, Grec 2013, Bethlehem, Pa, Usa, August , (Paperback) $54.99
$5499current price $54.99Graphics Recognition. Current Trends and Challenges: 10th International Workshop, Grec 2013, Bethlehem, Pa, Usa, August , (Paperback)
Digital Watermarking: 4th International Workshop, Iwdw 2005, Siena, Italy, September 15-17, 2005, Proceedings, (Paperback) $56.14
$5614current price $56.14Digital Watermarking: 4th International Workshop, Iwdw 2005, Siena, Italy, September 15-17, 2005, Proceedings, (Paperback)
Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, (Paperback) $54.99
$5499current price $54.99Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, (Paperback)
Communications in Computer and Informati New Trends in Databases and Information Systems: Adbis 2016 Short Papers and Workshops, Bigdap, Dcsa, DC, Prague, Czech , Book 637, (Paperback) $63.55
$6355current price $63.55Communications in Computer and Informati New Trends in Databases and Information Systems: Adbis 2016 Short Papers and Workshops, Bigdap, Dcsa, DC, Prague, Czech , Book 637, (Paperback)
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Re, (Paperback) $54.99
$5499current price $54.99Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Re, (Paperback)
Lecture Notes in Computer Science Innovative Internet Computing Systems: International Workshop Iics 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings, Book 2060, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Innovative Internet Computing Systems: International Workshop Iics 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings, Book 2060, (Paperback)
Lecture Notes in Computer Science Innovative Internet Computing Systems: Second International Workshop, Iics 2002, Kühlungsborn, Germany, June 20-22, 2002, Book 2346, (Paperback) $61.20
$6120current price $61.20Lecture Notes in Computer Science Innovative Internet Computing Systems: Second International Workshop, Iics 2002, Kühlungsborn, Germany, June 20-22, 2002, Book 2346, (Paperback)
Machine Learning: Ecml'97: 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Pro, (Paperback) $54.99
$5499current price $54.99Machine Learning: Ecml'97: 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Pro, (Paperback)
Descriptional Complexity of Formal Systems: 14th International Workshop, Dcfs 2012, Braga, Portugal, July 23-25, 2012, P, (Paperback) $54.99
$5499current price $54.99Descriptional Complexity of Formal Systems: 14th International Workshop, Dcfs 2012, Braga, Portugal, July 23-25, 2012, P, (Paperback)
Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revi, (Paperback) $54.99
$5499current price $54.99Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revi, (Paperback)
Lecture Notes in Computer Science Data Warehousing and Knowledge Discovery: 5th International Conference, Dawak 2003, Prague, Czech Republic, September 3-, Book 2737, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Data Warehousing and Knowledge Discovery: 5th International Conference, Dawak 2003, Prague, Czech Republic, September 3-, Book 2737, (Paperback)
Lecture Notes in Computer Science Technologies for E-Services: Second International Workshop, Tes 2001, Rome, Italy, September 14-15, 2001. Proceedings, Book 2193, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Technologies for E-Services: Second International Workshop, Tes 2001, Rome, Italy, September 14-15, 2001. Proceedings, Book 2193, (Paperback)
Engineering Societies in the Agents World IV: 4th International Workshop, Esaw 2003, London, Uk, October 29-31, 2003, Re, (Paperback) $56.14
$5614current price $56.14Engineering Societies in the Agents World IV: 4th International Workshop, Esaw 2003, London, Uk, October 29-31, 2003, Re, (Paperback)
Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2, (Paperback) $54.99
$5499current price $54.99Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2, (Paperback)
Lecture Notes in Computer Science Security and Trust Management: 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedi, Book 15235, (Paperback) $59.99
$5999current price $59.99Lecture Notes in Computer Science Security and Trust Management: 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedi, Book 15235, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
