
















Programming Languages and Systems
1 124,-

Hardware and Software
476,-

Ada 2012 Reference Manual. Language and Standard Libraries
1 619,-

Formal Aspects of Component Software
584,-

Programming Languages and Systems
431,-

Programming Languages and Systems
431,-

Verified Software. Theories, Tools and Experiments
584,-

Programming Languages and Systems
431,-

Programming Languages and Systems
584,-

Functional and Logic Programming
584,-

Programming Languages and Systems
1 124,-

Hardware and Software
476,-

Ada 2012 Reference Manual. Language and Standard Libraries
1 619,-

Formal Aspects of Component Software
584,-

Programming Languages and Systems
431,-

Programming Languages and Systems
431,-

Verified Software. Theories, Tools and Experiments
584,-

Programming Languages and Systems
431,-

Programming Languages and Systems
584,-

Functional and Logic Programming
584,-