Theoretical Computer Science and General Issues- Dynamic Logic. New Trends and ApplicationsSecond International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
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.
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 DaLí – Dynamic logics for cyber-physical systems: towards contract based design.
Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
De prijs van dit product is 57 euro en 99 cent.57
99
3 - 4 weken
Levertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol
Theoretical Computer Science and General Issues- Dynamic Logic. New Trends and Applications
{"pdpTaxonomyObj":{"pageInfo":{"pageType":"PDP","language":"nl","website":"bol.com"},"userInfo":{},"productInfo":[{"productId":"9200000126486576","ean":"9783030388072","title":"Theoretical Computer Science and General Issues- Dynamic Logic. New Trends and Applications","price":"57.99","categoryTreeList":[{"tree":["Boeken","Computers \u0026 Informatica"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie","Kunstmatige intelligentie"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie","Systeemanalyse \u0026 systeemontwerp"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie","Wiskunde voor computerwetenschappers"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren","Compilers \u0026 interpreters"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren","Softwareontwikkeling"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie","Kunstmatige intelligentie","Cognitieve systemen"]},{"tree":["Boeken"]}],"brick":"10000926","chunk":"80007266","publisher":"Springer Nature Switzerland AG","averageReviewRating":"0.0","seriesList":[],"sellerName":"bol.com","uniqueProductAttribute":"BINDING-Paperback"}]}}
{"pdpAnalyticsObj":{"pageInfo":{"pageType":"PDP","country":"BE","shoppingChannelContextTypeAndDeviceType":"www.bol.com,SEO_AGENT","canonicalUrl":"https://www.bol.com/be/nl/p/theoretical-computer-science-and-general-issues-dynamic-logic-new-trends-and-applications/9200000126486576/","shortURL":"/p/theoretical-computer-science-and-general-issues-dynamic-logic-new-trends-and-applications/9200000126486576/","countryLanguage":"be-nl","external":true,"subscriptionInfo":{"selectMembership":false},"shouldSendUserProps":false,"renderedInApp":false},"product":{"productId":"9200000126486576","title":"Theoretical Computer Science and General Issues- Dynamic Logic. New Trends and Applications","category":"Boeken/Computers \u0026 Informatica","brand":"","brick":"10000926","seller":"0_","price":57.99,"discount":0.0,"categoryNumbersFlattened":["8299","40343"],"categories":["Boeken","Computers \u0026 Informatica","Computertechnologie","Kunstmatige intelligentie","Cognitieve systemen"],"orderable":"available","quantity":1}}}