Title |
Some examples of algebraic specifications and implementations. Pt. 4. Parameterized specifications of strings, binary trees and 2x2-matrices with correctness proofs / Werner Fey |
|---|---|
Involved |
Werner Fey (Verfasser) |
Published |
Berlin: Univ.-Bibliothek der Techn. Univ., Abt. Publ. |
Extent |
15 Bl. |
Topic |
|
Subject |
|
Series |
Bericht / Technische Universität Berlin, Fachbereich 20, Informatik ; Nr. 82,2 : Institut für Software und Theoretische Informatik |
Part of |
Some examples of algebraic specifications and implementations |
Record ID |
821155709 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: