Trefferliste "Symbolic Execution" - alle Bücher und CDs

Ihre Suche nach "Symbolic Execution" (Bücher und CDs) ergab 2 Treffer.

Die Tribute von Panem - Mockingjay Teil 2

»Die Tribute von Panem - Mockingjay Teil 2«, ein Score des amerikanischen Komponisten James Newton Howard, der auch schon die Musik zu den vorhergehenden Teilen der Reihe beitrug. In der Fortsetzung v…

lieferbar innerhalb 2-3 Wochen

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.