Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule
42,79 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III, Einband: Taschenbuch, Autor: Marijn Heule, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 292, Maße: 235x155x16 mm, Gewicht: 446 g, Verkäufer: buch-mimpf, Schlagworte: Open Access Program Synthesis Simulations TACAS formal verification hardware systems oncurrency probabilistic programming software systems static analysis testing verification of machine.
Jetzt bei Ebay:
