Portal de Periódicos da CAPES

Systems programming with Modula-3

1992; Association of College and Research Libraries; Volume: 29; Issue: 08 Linguagem: Inglês

10.5860/choice.29-4565

1943-5975

Greg Nelson,

Formal Methods in Verification

This work on systems programming with Modula-3 includes the language definition of Modula-3, together with a collection of examples, ranging from a tutorial on an object-oriented window system toolkit, to a review of the low levels of an input-output stream package.