Formal Aspects of Component Software
by Ivan Lanese, Eric Madelaine
Computer scienceProgramming languages (electronic computers)
Writing a summary for young readers…
For young readers
Book data: Open Library
by Ivan Lanese, Eric Madelaine
Book data: Open Library