Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Computere og hardware
  7. Computer Aided Verification: 26th International Conference,...

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

(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

Computere og hardware Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 04-08-2014
Første udgivelsesår 2014
Serie Lecture Notes in Computer Science
Illustrationer 205 Illustrations, black and white; XXXIV, 877 p. 205 illus.
Fagredaktør Armin Biere, Roderick Bloem
Originalsprog Switzerland
Sideantal 877
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 877 pages, 205 Illustrations, black and white; XXXIV, 877 p. 205 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319088662