
Towards a formal description of Ada
by D. Bjørner
Ada (Computer program language)SemanticsProgramming languages (Electronic computers)
Writing a summary for young readers…
For young readers
Book data: Open Library

by D. Bjørner
Book data: Open Library