Articles liés à Dynamic Logic. New Trends and Applications: Third Internatio...
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers - Couverture souple
Synopsis
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online.
The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2020
- ISBN 10 3030658392
- ISBN 13 9783030658397
- ReliureBroché
- Langueanglais
- Numéro d'édition1
- Nombre de pages308
- ÉditeurMartins Manuel A., Sedlár Igor
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Dynamic Logic. New Trends and Applications: Third Internatio...
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications
Edité par
Springer International Publishing, 2020
ISBN 10 : 3030658392
ISBN 13 : 9783030658397
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 426783355
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9¿10, 2020, Revised Selected Papers
Edité par
Springer International Publishing, 2020
ISBN 10 : 3030658392
ISBN 13 : 9783030658397
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences tomodal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematicsto Computer Science. N° de réf. du vendeur 9783030658397
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications
Edité par
Springer International Publishing Dez 2020, 2020
ISBN 10 : 3030658392
ISBN 13 : 9783030658397
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences tomodal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematicsto Computer Science. 308 pp. Englisch. N° de réf. du vendeur 9783030658397
Quantité disponible : 2 disponible(s)
Image d'archives
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected ... Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030658397_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications
ISBN 10 : 3030658392
ISBN 13 : 9783030658397
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch. N° de réf. du vendeur 9783030658397
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9?10, 2020, Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 43014783-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalà 2020, Prague, Czech Republic, October 9â"10, 2020, Revised Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 43014783-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9?10, 2020, Revised Selected Papers
Edité par
Springer, 2020
ISBN 10 : 3030658392
ISBN 13 : 9783030658397
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 43014783
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalà 2020, Prague, Czech Republic, October 9â"10, 2020, Revised Selected Papers
Edité par
Springer, 2020
ISBN 10 : 3030658392
ISBN 13 : 9783030658397
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 43014783
Quantité disponible : Plus de 20 disponibles
Image d'archives
Dynamic Logic. New Trends and Applications : Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Pap
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783030658397
Quantité disponible : 10 disponible(s)