Leveraging Applications of Formal Methods, Verification and Validation: Discussion, D... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Brugergrænsefladedesign og brugervenlighed
  5. Softwareudvikling
  6. Kunstig intelligens
  7. Programmeringssprog og scriptsprog
  8. Leveraging Applications of Formal Methods, Verification and...

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

(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

Brugergrænsefladedesign og brugervenlighed Kunstig intelligens 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 06-10-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 291 Illustrations, black and white; XXIV, 866 p. 291 illus.
Fagredaktør Tiziana Margaria, Bernhard Steffen
Originalsprog Switzerland
Sideantal 866
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 866 pages, 291 Illustrations, black and white; XXIV, 866 p. 291 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319471686