Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 3 of 3 |
Sort by
|
Book
Program transformation applied to the telegram problem
Loading...
Author: Feather, Martin S.
Year: 1977 Publisher: Edinburgh University of Edinburgh. Department of artificial intelligence
Year: 1977 Publisher: Edinburgh University of Edinburgh. Department of artificial intelligence
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
"ZAP" program transformation system : primer and users' manual
Loading...
Author: Feather, Martin S.
Year: 1978 Publisher: Edinburgh University of Edinburgh. Department of artificial intelligence
Year: 1978 Publisher: Edinburgh University of Edinburgh. Department of artificial intelligence
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
Model based mission assurance in a model based systems engineering (MBSE) framework: state-of-the-art assessment
Loading...
Authors:
Cornford, Steven L.
---
Feather, Martin S.
---
Jet Propulsion Laboratory (U.S.)
Year: 2016 Publisher: Pasadena, CA : National Aeronautics and Space Administration, Jet Propulsion Laboratory,
Year: 2016 Publisher: Pasadena, CA : National Aeronautics and Space Administration, Jet Propulsion Laboratory,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 3 of 3 |
Sort by
|