Treffer: A Calculus for Set-Based Program Development Part II: Proof Search
Titel:
Beteiligt:
Veröffentlicht:
Augsburg : Universität Augsburg, 2006
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2003-16