Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersbur... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Softwareudvikling
  6. Matematisk datateori
  7. Computer Aided Verification: 25th International Conference,...

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

(Bog, Paperback / softback, Engelsk)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Ekspertsystemer og vidensbaserede systemer Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2013 ed.
Udgivelsesdato 14-07-2013
Første udgivelsesår 2013
Serie Lecture Notes in Computer Science
Illustrationer 237 Illustrations, black and white
Fagredaktør Natasha Sharygina, Helmut Veith
Originalsprog Germany
Sideantal 1015
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 1015 pages, 237 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783642397981