Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Ca... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Algoritmer og datastrukturer
  7. Computer Aided Verification: 28th International Conference,...

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

(Bog, Paperback / softback, Engelsk)
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
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

Algoritmer og datastrukturer Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2016
Udgivelsesdato 14-07-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 126 Illustrations, black and white; XVII, 521 p. 126 illus.
Fagredaktør Swarat Chaudhuri, Azadeh Farzan
Originalsprog Switzerland
Sideantal 521
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 521 pages, 126 Illustrations, black and white; XVII, 521 p. 126 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319415390