Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments - Bog

- Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

indgår i Lecture Notes in Computer Science serien

indgår i Programming and Software Engineering serien

Verified Software: Theories, Tools, Experiments
Bag om Verified Software: Theories, Tools, Experiments

Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642150562
  • Indbinding:
  • Paperback
  • Sideantal:
  • 217
  • Udgivet:
  • 5. august 2010
  • Størrelse:
  • 231x155x13 mm.
  • Ukendt - mangler pt..

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Verified Software: Theories, Tools, Experiments

Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more.

Brugerbedømmelser af Verified Software: Theories, Tools, Experiments



Andre købte også..
Find lignende bøger
Bogen Verified Software: Theories, Tools, Experiments findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.