Dynamic Logic. New Trends and Applications Image close
Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications
Show Hide Adult Content
Dynamic Logic. New Trends and Applications close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Compilers

Dynamic Logic. New Trends and Applications

Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$136.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Foundations of Software Science and Computational Structures Save $47
$155.99
$203.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems Save $66
$158.99
$225.95
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing
$276.99
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms - ESA 2007
$278.99
$280.95
Algorithms - ESA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Development in Language Theory Save $8
$142.99
$151.95
Development in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$277.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Computer Science 2012
$301.99
Mathematical Foundations of Computer Science 2012
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
$124.99
Evolutionary Computation, Machine Learning and Data Mining in...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing Save $33
$144.99
$178.95
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Rationality, and Interaction
$138.99
Logic, Rationality, and Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling and Analysis of Timed Systems
$136.99
Formal Modeling and Analysis of Timed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming
$274.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$276.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata Save $48
$136.99
$185.95
Cellular Automata
Paperback / softback
Available - Usually ships in 3-4 weeks
Integration of AI and OR Techniques in Constraint Programming
$140.99
$145.95
Integration of AI and OR Techniques in Constraint Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Parallel and Scientific Computing Save $14
$143.99
$158.95
Applied Parallel and Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design. 
Release date Australia
January 14th, 2020
Contributors
  • Edited by Alexandru Baltag
  • Edited by Luis Soares Barbosa
Pages
227
Edition
1st ed. 2020
Audience
  • Professional & Vocational
Illustrations
4 Illustrations, color; 455 Illustrations, black and white; X, 227 p. 459 illus., 4 illus. in color.
ISBN-13
9783030388072
Product ID
32385179

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Expert systems / knowledge-based systems