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

- 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

indgår i Theoretical Computer Science and General Issues serien

Model Checking Software
Bag om Model Checking Software

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642223051
  • Indbinding:
  • Paperback
  • Sideantal:
  • 195
  • Udgivet:
  • 5. juli 2011
  • Størrelse:
  • 234x156x11 mm.
  • Vægt:
  • 324 g.
  • 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

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions.

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.