Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings - Softcover

 
9783030388096: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Softcover
ISBN 10: 3030388093 ISBN 13: 9783030388096
Publisher: Springer, 2020

This specific ISBN edition is currently not available.

Synopsis

Logic and verification.- Dynamic logics.-Modal and temporal logics.-Epistemic logics.- Program semantics.- Program reasoning Pre- and post- conditions.- Program verification.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2020
Language
English
ISBN 10 
3030388093
ISBN 13 
9783030388096
Binding
Paperback

Other Popular Editions of the Same Title

9783030388072: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings: 12005 (Lecture Notes in Computer Science, 12005)

Featured Edition

ISBN 10:  3030388077 ISBN 13:  9783030388072
Publisher: Springer, 2020
Softcover