Items related to Dynamic Logic. New Trends and Applications: First Internatio...
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Theoretical Computer Science and General Issues) - Softcover
Synopsis
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 DaLí – Dynamic logics for cyber-physical systems: towards contract based design.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2018
- ISBN 10 3319735780
- ISBN 13 9783319735788
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages210
- EditorMadeira Alexandre, Benevides Mário
Search results for Dynamic Logic. New Trends and Applications: First Internatio...
Seller Image
Dynamic Logic. New Trends and Applications : First International Workshop, Dali 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30598055-n
Quantity: Over 20 available
Stock Image
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Theoretical Computer Science and General Issues)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020104473
Quantity: Over 20 available
Seller Image
Dynamic Logic. New Trends and Applications : First International Workshop, Dali 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 30598055
Quantity: Over 20 available
Stock Image
Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319735788
Quantity: 10 available
Stock Image
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319735788_new
Quantity: Over 20 available
Seller Image
Dynamic Logic. New Trends and Applications : First International Workshop, Dali 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30598055-n
Quantity: Over 20 available
Seller Image
Dynamic Logic. New Trends and Applications
Published by
Springer International Publishing Jan 2018, 2018
ISBN 10: 3319735780
ISBN 13: 9783319735788
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 DaLí - Dynamic logics for cyber-physical systems: towards contract based design. 212 pp. Englisch. Seller Inventory # 9783319735788
Quantity: 2 available
Seller Image
Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319735780
ISBN 13: 9783319735788
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 DaLí - Dynamic logics for cyber-physical systems: towards contract based design. Seller Inventory # 9783319735788
Quantity: 1 available
Seller Image
Dynamic Logic. New Trends and Applications : First International Workshop, Dali 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 30598055
Quantity: Over 20 available
Stock Image
Dynamic Logic. New Trends and Applications: First International Workshop, Dali 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 191 pages. 9.25x6.10x0.47 inches. In Stock. Seller Inventory # x-3319735780
Quantity: 2 available