- Tytuł:
- Type-driven development of concurrent communicating systems
- Autorzy:
- Brady, E.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
dependent types
domain specific languages
verification
concurrency - Pokaż więcej
- Dostawca treści:
- BazTech
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.