Items related to Dynamic Logic. New Trends and Applications: Second...

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.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

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 (Theoretical Computer Science and General Issues)

Featured Edition

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