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 I, Einband: Taschenbuch, Autor: Laura Kovács, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 424, Maße: 235x155x23 mm, Gewicht: 639 g, Verkäufer: buch-mimpf, Schlagworte: formal verification software systems hardware systems static analysis probabilistic programming Open Access Program Synthesis concurrency testing Simulations verification of machine.
Jetzt bei Ebay:
