Dependable and Historic Computing - 9783642245404

Dougherty - Protocols Strands and Logic Essays Dedicated to Joshua - X555z

Stenlund - Logical Theory and Semantic Analysis Essays Dedicated to - X555z

Palsberg - Semantics and Algebraic Specification Essays Dedicated to - X555z

Jones - Symposium on Real-Time and Hybrid Systems Essays Dedicated t - X555z

Probst - Semantics Logics and Calculi Essays Dedicated to Hanne Ri - X555z

Day - Computability and Complexity Essays Dedicated to Rodney G. Dow - X555z

Iida - Specification Algebra and Software Essays Dedicated to Koki - X555z