Critical Systems: Formal Methods and Automated Verification: Joint 22nd International... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kompilatorer og fortolkere
  8. Critical Systems: Formal Methods and Automated Verification:...

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

(Bog, Paperback / softback, Engelsk)
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,
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

Ekspertsystemer og vidensbaserede systemer Kompilatorer og fortolkere 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
Udgave 1st ed. 2017
Udgivelsesdato 25-08-2017
Første udgivelsesår 2017
Serie Lecture Notes in Computer Science
Illustrationer 52 Illustrations, black and white
Fagredaktør Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Originalsprog Switzerland
Sideantal 235
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 235 pages, 52 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319671123