Temat: assignment action - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Using Hoare Logic in a Process Algebra Setting
Autorzy:: Bergstra, J. A.
Middelburg, C. A.
Data publikacji:: 2021
Słowa kluczowe:: process algebra
data parameterized action
assignment action
guarded command
asserted process
Hoare logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Dokumenty nadania ziemi z okresu reformy rolnej i akcji osiedleńczej
Documentation of land assignments in the periods of the land reform and the settlement action
Autorzy:: Kwartnik-Pruc, A.
Śmiałowska-Uberman, Z.
Data publikacji:: 2007
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: reforma rolna
akcja osiedleńcza
dokument nadania ziemi
akt nadania ziemi
orzeczenie o wykonaniu aktu nadania
mierniczy przysięgły
land reform
settlement action
act of legal assignment
chartered surveyor; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Dokumenty nadania ziemi z okresu reformy rolnej i akcji osiedleńczej
Autorzy:: Kwartnik-Pruc, A.
Śmiałowska-Uberman, Z.
Data publikacji:: 2007
Słowa kluczowe:: reforma rolna
akcja osiedleńcza
dokument nadania ziemi
akt nadania ziemi
orzeczenie o wykonaniu aktu nadania
mierniczy przysięgły
land reform
settlement action
act of legal assignment
chartered surveyor; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja