MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report

Published 1995

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”