Skip to content

Formal mechanization of device interactions with a process algebra

by E. Thomas Schubert

Electronic data processing
Writing a summary for young readers…

For young readers

Book data: Open Library