Skip to content
Book Glossary
Cover of Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

by Holger Giese

Operating systems (computers)System designElectronic data processingCongressesDistributed processingFormal methods (Computer science)
Writing a summary for young readers…

For young readers

Book data: Open Library