Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Book
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
Loading...
Authors:
Braffort, Paul
---
Hirschberg, Dan
---
Brouwer, Luitzen Egbertus Jan
---
Heyting, Arend
---
Beth, Evert Willem
Year: 1970 Publisher: Amsterdam: North-Holland,
Year: 1970 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
Computation Theory --- LISP (Langage de programmation) --- Automata theory
| Listing 1 - 1 of 1 |
Sort by
|