|
Books > Computing & IT > Computer software packages
|
Buy Now
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Paperback, 1st ed. 2018)
Loot Price: R1,408
Discovery Miles 14 080
|
|
|
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Paperback, 1st ed. 2018)
Series: Lecture Notes in Computer Science, 10669
Expected to ship within 18 - 22 working days
|
This book constitutes the proceedings of the First International
Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in
September 2017. Both its theoretical relevance and practical
potential make Dynamic Logic a topic of interest in a number of
scientific venues, from wide-scope software engineering conferences
to modal logic specific events. The workshop is promoted by an
R&D project on dynamic logics for cyber-physical systems. The
12 full papers presented in this volume were carefully reviewed and
selected from 25 submissions. The workshop is based on the project
DaLi - Dynamic logics for cyber-physical systems: towards contract
based design.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
