Egyéb keresési lehetőségek:
logics » logic (Keresés kiterjesztése)
meanings » meaning (Keresés kiterjesztése)
programs » program (Keresés kiterjesztése)
Megjelenítés: 1 - 2 / 2 - kulcsszavak: '"Logics and Meanings of Programs."', keresési idő: 0.10mp Találatok szűrése
1
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logics and Meanings of Programs....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logics and Meanings of Programs....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése