Critical Systems: Formal Methods and Automated Verification: Joint 21st International... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Programmeringssprog og scriptsprog
  6. Softwareudvikling
  7. Dataarkitektur og logisk design
  8. Critical Systems: Formal Methods and Automated Verification:...

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,

(Bog, Paperback / softback, Engelsk)
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

Dataarkitektur og logisk design Ekspertsystemer og vidensbaserede systemer Programmeringssprog og scriptsprog 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. 2016
Udgivelsesdato 14-09-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 89 Illustrations, black and white
Fagredaktør Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Originalsprog Switzerland
Sideantal 247
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 247 pages, 89 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319459424