TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competit... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. TOOLympics Challenge 2023: Updates, Results, Successes of the...

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

(Bog, Paperback / softback, Engelsk)
TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions
Forlag: Springer International Publishing 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

Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2024 ed.
Udgivelsesdato 01-11-2024
Første udgivelsesår 2024
Serie Lecture Notes in Computer Science
Illustrationer 20 Illustrations, color; 8 Illustrations, black and white; IX, 172 p. 28 illus., 20 illus. in color.
Fagredaktør Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
Originalsprog Switzerland
Sideantal 172
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 172 pages, 20 Illustrations, color; 8 Illustrations, black and white; IX, 172 p. 28 illus., 20 illus
Mål 235 x 155
ISBN-13 / EAN-13 9783031676949