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. Model Checking Software

Model Checking Software - Bog

- 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

indgår i Theoretical Computer Science and General Issues serien

indgår i Lecture Notes in Computer Science serien

Model Checking Software
Bag om Model Checking Software

Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642161636
  • Indbinding:
  • Paperback
  • Sideantal:
  • 263
  • Udgivet:
  • 27. september 2010
  • Størrelse:
  • 229x152x20 mm.
  • 8-11 hverdage.
  • 16. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Medlemspris

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

Beskrivelse af Model Checking Software

Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.

Brugerbedømmelser af Model Checking Software



Andre købte også..
Find lignende bøger
Bogen Model Checking Software 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.