Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Dynamic Logic. New Trends and Applications - Second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Paperback, 1st ed. 2020) Loot Price: R1,521

Discovery Miles 15 210

Repayment Terms: R143 pm x 12*

Add to cart

Dynamic Logic. New Trends and Applications - Second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019,...

Dynamic Logic. New Trends and Applications - Second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Paperback, 1st ed. 2020)

Luis Soares Barbosa, Alexandru Baltag

Series: Theoretical Computer Science and General Issues, 12005

(sign in to rate)

Loot Price R1,521 Discovery Miles 15 210 | Repayment Terms: R143 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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 DaLi - Dynamic logics for cyber-physical systems: towards contract based design.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 12005
Release date:	2020
First published:	2020
Editors:	Luis Soares Barbosa • Alexandru Baltag
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	227
Edition:	1st ed. 2020
ISBN-13:	978-3-03-038807-2
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-03-038807-7
Barcode:	9783030388072