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
- 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
- Bindende:
- Paperback
- Sider:
- 471
- Utgitt:
- 20 mars 2021
- Utgave:
- 12021
- Dimensjoner:
- 155x235x0 mm.
- Vekt:
- 753 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 open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
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
