Channels :: Library Catalog

Topic: distributed computer systems

Topic: formal logic

Author: Gérard Berry

Quick Look
The Informatics of Time and Events

Similar Items: Computer Aided Verification

Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Computer Aided Verification
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Automated Deduction – CADE 28
Quick Look
Programming Languages and Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Quick Look
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Quick Look
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Quick Look
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Quick Look
Frontiers of Combining Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Quick Look
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Quick Look
Formal Methods
Quick Look
Formal Methods
Quick Look
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Similar Items: Computer Aided Verification