Logic of Programs : Workshop, ETH Zürich, May-July 1979 / by E. Engeler
Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 125Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Description: Online-RessourceISBN:- 9783540386315
- 001.64/25
No physical items for this record