Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 20... (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. Formal Methods for Industrial Critical Systems: 20th...

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

(Bog, Paperback / softback, Engelsk)
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
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

Beskrivelse

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2015 ed.
Udgivelsesdato 27-05-2015
Første udgivelsesår 2015
Serie Programming and Software Engineering
Illustrationer 61 Illustrations, black and white; XVI, 213 p. 61 illus.
Fagredaktør Manuel Nunez, Matthias Gudemann
Originalsprog Switzerland
Sideantal 213
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 213 pages, 61 Illustrations, black and white; XVI, 213 p. 61 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319194578