Serie Lecture Notes in Computer Science – alle Bücher

Ansicht: 1 Einträge

Programming Languages and Systems

Lecture Notes in Computer Science - Band 16201

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 81,04
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.