
Towards a Formal Description of Ada (Lecture Notes in Computer Science)
by D. Bjørner
Ada (Computer program language)Ada (computer program language)
Writing a summary for young readers…
For young readers
Book data: Open Library

by D. Bjørner
Book data: Open Library