Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Program specification and transformation
Loading...
Authors:
Meertens, L. G. L. T.
---
IFIP TC2/WG 2.1 working conference on program specification and transformation (1986 : Bad Tölz)
ISBN: 0444702237 9780444702234 Year: 1987 Publisher: Amsterdam: North-Holland,
ISBN: 0444702237 9780444702234 Year: 1987 Publisher: Amsterdam: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Algebraic Specification --- Program Development --- Functional programming --- Logic programming --- Specification --- Program Transformation --- Computer programming
| Listing 1 - 1 of 1 |
Sort by
|