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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

(Bog, Paperback / softback, Engelsk)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
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 256 Illustrations, black and white; XXIII, 974 p. 256 illus.
Fagredaktør Tiziana Margaria, Bernhard Steffen
Originalsprog Switzerland
Sideantal 974
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 974 pages, 256 Illustrations, black and white; XXIII, 974 p. 256 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319471655