Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács
42,79 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part III, Einband: Taschenbuch, Autor: Laura Kovács, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: formal verification software systems hardware systems static analysis probabilistic programming Program Synthesis oncurrency testing Simulations verification of machine Open Access.
Jetzt bei Ebay:
