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. Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems - Bog

- 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

indgår i Theoretical Computer Science and General Issues serien

indgår i Lecture Notes in Computer Science serien

Tools and Algorithms for the Construction and Analysis of Systems
Bag om Tools and Algorithms for the Construction and Analysis of Systems

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540712084
  • Indbinding:
  • Paperback
  • Sideantal:
  • 740
  • Udgivet:
  • 9. marts 2007
  • Udgave:
  • 2007
  • Størrelse:
  • 229x152x38 mm.
  • Vægt:
  • 2320 g.
  • 8-11 hverdage.
  • 16. december 2024
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 Tools and Algorithms for the Construction and Analysis of Systems

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

Brugerbedømmelser af Tools and Algorithms for the Construction and Analysis of Systems



Andre købte også..
Find lignende bøger
Bogen Tools and Algorithms for the Construction and Analysis of Systems 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.