

Formal Methods for an Informal World
584,-

Trends in Functional Programming
584,-

Trends in Functional Programming
584,-

Hardware and Software
584,-

Trends in Functional Programming
431,-

New Directions in Logic, Language, and Computation
476,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Automated Technology for Verification and Analysis
584,-

Formal Methods for an Informal World
584,-

Trends in Functional Programming
584,-

Trends in Functional Programming
584,-

Hardware and Software
584,-

Trends in Functional Programming
431,-

New Directions in Logic, Language, and Computation
476,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Automated Technology for Verification and Analysis
584,-















