Logic of Programming and Calculi of Discrete Design

Författare
Manfred; Dijkstra Broy
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 1987 Utgivningsland okänt / Ej specificerat