Verified Software: Theories, Tools, and Experiments: 7th International Conference, VS... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Programmering / softwareudvikling
  9. Verified Software: Theories, Tools, and Experiments: 7th...

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

(Bog, Paperback / softback, Engelsk)
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
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

Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Programmering / softwareudvikling 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 29-01-2016
Første udgivelsesår 2016
Serie Programming and Software Engineering
Illustrationer 41 Illustrations, color; IX, 223 p. 41 illus. in color.
Fagredaktør Arie Gurfinkel, Sanjit A. Seshia
Originalsprog Switzerland
Sideantal 223
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 223 pages, 41 Illustrations, color; IX, 223 p. 41 illus. in color.
Mål 235 x 155
ISBN-13 / EAN-13 9783319296128