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

- 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, 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

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. formal analysis for modeling languages, such as UML/state charts;

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030309220
  • Indbinding:
  • Paperback
  • Sideantal:
  • 261
  • Udgivet:
  • 14. september 2019
  • Udgave:
  • 12019
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 454 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 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. formal analysis for modeling languages, such as UML/state charts;

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.