António Ravara
Identifiers
- Open LibraryOL9452632A
Top Subjects
- Web services (1)
- System design (1)
- Computer programming (1)
- Programming languages (electronic computers) (1)
Books by António Ravara
Total count: 4
-
Web Services, Formal Methods, and Behavioral Types11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected PapersSpringer London, Limited2016-01-01
-
Behavioural TypesFrom Theory to ToolsRiver Publishers2017-01-01
-
Computational ElectrodynamicsA Gauge Approach with Applications in MicroelectronicsRiver Publishers2022-01-01
-
Formal Techniques for Distributed Objects, Components, and Systems43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, ProceedingsSpringer2023-01-01