Tools and Algorithms for the Construction and Analysis of Systems: 26th International... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Ekspertsystemer og vidensbaserede systemer
  6. Softwareudvikling
  7. Systemanalyse og systemdesign
  8. Computere og hardware
  9. Tools and Algorithms for the Construction and Analysis of...

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,

(Bog, Paperback / softback, Engelsk)
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,
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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2020
Udgivelsesdato 18-04-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 1 Illustrations, black and white; XXIII, 425 p. 1 illus.
Fagredaktør Armin Biere, David Parker
Originalsprog Switzerland
Sideantal 425
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 425 pages, 1 Illustrations, black and white; XXIII, 425 p. 1 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783030452360