- Tytuł:
- Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements
- Autorzy:
-
Banach, R.
Jeske, C.
Poppleton, M.
Stepney, S. - Data publikacji:
- 2007
- Słowa kluczowe:
-
retrenchment
refinement
verification
mondex purse
atomicity - Pokaż więcej
- Dostawca treści:
- BazTech