Pages that link to "Item:Q5952660"

The following pages link to Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1 (Q5952660):

Displaying 1 item.

• Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)