✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Softcover - 9783032227485
42,79 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.

32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part II

Details

Verlag Springer International Publishing
Ersterscheinung 16. April 2026
Maße 23.5 cm x 15.5 cm
Gewicht 943 Gramm
Format Softcover
ISBN-13 9783032227485
Seiten 603

Schlagwörter

Computer Communication Networks, Computer Modelling, Computerhardware, Computermodellierung und -simulation, Control Structures and Microprogramming, Netzwerk-Hardware, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +