Dynamic Logic. New Trends and Applications
Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
AvManuel A. Martins,Igor Sedlár
Häftad, Engelska, 2020
Del 12569 i serien Lecture Notes in Computer Science
561 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 15551
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
Häftad, 2025
822 kr
Del 13710
Recent Trends in Algebraic Development Techniques
Alexandre Madeira, Manuel A. Martins
Häftad, 2023
613 kr
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Graham Pluck, Reinhard Kahle, Manuel A. Martins, Raul Fervari, Jose Proenca
E-bok
20251 022 kr
Recent Trends in Algebraic Development Techniques
Manuel A. Martins, Alexandre Madeira
E-bok
2023793 kr
Del 63
Del 11415
Molecular Logic and Computational Synthetic Biology
Madalena Chaves, Manuel A. Martins
Häftad, 2019
544 kr
Molecular Logic and Computational Synthetic Biology
Manuel A. Martins, Madalena Chaves
E-bok
2019687 kr