> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Context sensitive synchronization sensitive analysis is undecidable Beteiligte: Ramalingam, Ganesan [VerfasserIn] Erschienen: Almaden; Zurich [u.a.]: IBM, 1999 Erschienen in: Thomas J. Watson Research Center: Research report / RC ; 21493 Weitere Titel: Umfang: 10 S. Sprache: Englisch Entstehung: RVK-Notation: SS 5104 : Research Report (IBM): RC Anmerkungen: Weitere Bestandsnachweise 0 : Thomas J. Watson Research Center <Yorktown Heights, NY>: Research report / RC
Bereichsbibliothek DrePunct – Magazin Signatur: 1999 4 029034 001 Barcode: 30443816 Status: Bestellen zur Benutzung im Haus, Versand per Fernleihe möglich > Bestellen möglich - bitte anmelden