Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation - Bog

- 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

indgår i Lecture Notes in Computer Science serien

indgår i Theoretical Computer Science and General Issues serien

Leveraging Applications of Formal Methods, Verification and Validation
Bag om Leveraging Applications of Formal Methods, Verification and Validation

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642340253
  • Indbinding:
  • Paperback
  • Sideantal:
  • 617
  • Udgivet:
  • 11. September 2012
  • Udgave:
  • 2012
  • Størrelse:
  • 155x235x32 mm.
  • Vægt:
  • 961 g.
  • 8-11 hverdage.
  • 22. Oktober 2024
På lager

Normalpris

Medlemspris

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

Beskrivelse af Leveraging Applications of Formal Methods, Verification and Validation

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Brugerbedømmelser af Leveraging Applications of Formal Methods, Verification and Validation



Andre købte også..
Find lignende bøger
Bogen Leveraging Applications of Formal Methods, Verification and Validation 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.