- Tytuł:
- Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
- Autorzy:
-
Björklund. D.
Lilius, J. - Data publikacji:
- 2006
- 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.