Description: Dynamic Logic. New Trends and Applications : Second International Workshop, Dalí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Paperback by Soares Barbosa, Luís (EDT); Baltag, Alexandru (EDT), ISBN 3030388077, ISBN-13 9783030388072, Brand New, Free shipping in the US 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.
Price: 67.03 USD
Location: Jessup, Maryland
End Time: 2025-01-16T12:17:29.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Dynamic Logic. New Trends and Applications : Second International
Number of Pages: X, 227 Pages
Language: English
Publication Name: Dynamic Logic. New Trends and Applications : Second International Workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Publisher: Springer International Publishing A&G
Publication Year: 2020
Subject: Systems Architecture / General, Hardware / General, Computer Science
Item Weight: 16 Oz
Type: Textbook
Subject Area: Computers
Item Length: 9.3 in
Author: Alexandru Baltag
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
