Dynamic Logic. New Trends and Applications: Second International Workshop, DaLi 2019,... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Kompilatorer og fortolkere
  6. Softwareudvikling
  7. Matematisk datateori
  8. Systemanalyse og systemdesign
  9. Dynamic Logic. New Trends and Applications: Second...

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

(Bog, Paperback / softback, Engelsk)
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2020 ed.
Udgivelsesdato 14-01-2020
Første udgivelsesår 2020
Serie Theoretical Computer Science and General Issues
Illustrationer 4 Illustrations, color; 455 Illustrations, black and white; X, 227 p. 459 illus., 4 illus. in color.
Fagredaktør Luis Soares Barbosa, Alexandru Baltag
Originalsprog Switzerland
Sideantal 227
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 227 pages, 4 Illustrations, color; 455 Illustrations, black and white; X, 227 p. 459 illus., 4 illus
Mål 235 x 155
ISBN-13 / EAN-13 9783030388072