Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Tools and Algorithms for the Construction and Analysis of Systems
- 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
- Bindende:
- Paperback
- Sider:
- 646
- Utgitt:
- 20 februar 2013
- Utgave:
- 2013
- Dimensjoner:
- 155x235x34 mm.
- Vekt:
- 1015 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 oktober 2024
Beskrivelse av 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;
Brukervurderinger av Tools and Algorithms for the Construction and Analysis of Systems
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Tools and Algorithms for the Construction and Analysis of Systems finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
