- New Adult
- Fantasy & Science-Fiction
- Krimis & Thriller
- Horror
- Unterhaltung
- Biografien
- Abenteurer & Entdecker
- Autobiografien
- Historische Persönlichkeiten
- Königinnen & Könige
- Kunst & Unterhaltung
- Philosophie & Sozialwissenschaften
- Religion & Spirituelles
- Romanhafte Biografien
- Sammelbiografien
- Schriftsteller
- Social Media & Internet
- Sport
- Wirtschaft & Industrie
- Wissenschaft, Technologie & Medizin
- Ratgeber
- Sachbücher
- Reisen
- Geschenkbücher
- Literatur
- Lyrik & Dramatik
Nicht vorrätig
Erscheint
bald
bald
Tools and Algorithms for the Construction and Analysis of Systems
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
Taschenbuch
42,79 €
inkl. MwSt. zzgl. ggf. Versandkosten
Erscheint am 20.05.2026
Dieses Produkt ist nicht verfügbar.
Kein Problem! Hinterlasse deine E-Mail-Adresse und wir benachrichtigen dich, sobald das Produkt verfügbar ist.
Kostenloser Versand innerhalb Deutschlands schon ab 25 Euro!
Sichere Bezahlmöglichkeiten
Beschreibung
Tools and Algorithms for the Construction and Analysis of Systems
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
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.
Highlights
- This book is open access, which means that you have free and unlimited access
Zusätzliche Informationen
| Größe | 23,5 × 15,5 cm |
|---|---|
| ISBN | 978-3-032-22748-5 |
| Verlag | Springer International Publishing |
| Reihe | Lecture Notes in Computer Science |
| Erscheinungsdatum | 20.05.2026 |
| Anzahl Seiten | 603 Seiten |
| Abbildungen | XXVII, 603 p. 244 illus., 187 illus. in color. |
| Herausgegeben von | Guy Katz, Sebastian Junges |
| Sprache | Englisch |
| Zielgruppe | Fach- und Sachbuch |
| Lieferbarkeit | Noch nicht erschienen. Erscheint laut Verlag/Lieferant |
| Datenbasis | 20260409_Onix30_Upd_23 |
Produktsicherheit
Produktsicherheit
Herstellerinformationen
Springer Nature Customer Service Center GmbH
E-Mail: ProductSafety@springernature.com
Rezensionen (0)
Rezensionen
Es gibt noch keine Rezensionen.