Reading Length
Home
Speed Tests
Login
Jacques Loeckx
Identifiers
Open Library
OL4452180A
Top Subjects
Computer programs -- Verification (1)
Books by Jacques Loeckx
Total count: 4
Mechanical construction of bounded-context parsers for chomsky O-type language
N.V. Philips' Gloeilampenfabrieken
1969-01-01
Algorithmentheorie
Springer
1976-09-01
The foundations of program verification
Teubner
1984-01-01
Foundations of programming languages
Wiley
1988-01-01
