Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Tools and Algorithms for the Construction and Analysis of Systems - Bog
- 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
- Indbinding:
- Paperback
- Sideantal:
- 646
- Udgivet:
- 20. Februar 2013
- Udgave:
- 2013
- Størrelse:
- 155x235x34 mm.
- Vægt:
- 1015 g.
- 8-11 hverdage.
- 23. Oktober 2024
På lager
Normalpris
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
Herefter fra 79 kr./md. Ingen binding.
Beskrivelse af Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. runtime verification and model checking; timed automata; explicit-state model checking; Buchi automata;
Brugerbedømmelser af Tools and Algorithms for the Construction and Analysis of Systems
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Tools and Algorithms for the Construction and Analysis of Systems findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
