Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Computer Aided Verification: 37th International Conference,...

Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

(Bog, Paperback / softback, Engelsk)
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
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

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 22-07-2025
Første udgivelsesår 2025
Serie Lecture Notes in Computer Science
Illustrationer 97 Illustrations, color; 29 Illustrations, black and white
Fagredaktør Ruzica Piskac, Zvonimir Rakamaric
Originalsprog Switzerland
Sideantal 426
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 426 pages, 97 Illustrations, color; 29 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031986789