Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Informatik
  7. Informationsteknologi: generelle emner
  8. Programmering / softwareudvikling
  9. Formal Modeling and Analysis of Timed Systems: 14th...

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

(Bog, Paperback / softback, Engelsk)
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, 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

Informatik Informationsteknologi: generelle emner Matematisk datateori Programmering / softwareudvikling Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2016
Udgivelsesdato 17-08-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 67 Illustrations, black and white; XII, 245 p. 67 illus.
Fagredaktør Martin Franzle, Nicolas Markey
Originalsprog Switzerland
Sideantal 245
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 245 pages, 67 Illustrations, black and white; XII, 245 p. 67 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319448770