7 books • 1 series
Pathways in Software Engineering
Generalized Jeffrey Conditionalization (SpringerBriefs in Computer Science)
Semantics of the Probabilistic Typed Lambda Calculus
Business Process Technology
Software Engineering Tools
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
Form-Oriented Analysis