Norges billigste bøker

Tools and Algorithms for the Construction and Analysis of Systems

Om Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030995232
  • Bindende:
  • Paperback
  • Sider:
  • 583
  • Utgitt:
  • 30. mars 2022
  • Utgave:
  • 12022
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 920 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. mars 2025

Beskrivelse av Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

Brukervurderinger av Tools and Algorithms for the Construction and Analysis of Systems



Finn lignende bøker
Boken Tools and Algorithms for the Construction and Analysis of Systems finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.