Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Darmowy
Szybszy dostęp niż przeglądarce!
 

Proof-Carrying Code

Indeks Proof-Carrying Code

Proof-Carrying Code – jedna z technik matematycznego dowodzenia poprawności programu komputerowego.

6 kontakty: Aksjomat, Maszyna wirtualna, Podpis cyfrowy, Procesor, Program komputerowy, Protokół internetowy.

Aksjomat

Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.

Nowy!!: Proof-Carrying Code i Aksjomat · Zobacz więcej »

Maszyna wirtualna

Maszyna wirtualna (ang. virtual machine, VM) – ogólna nazwa środowiska uruchomieniowego programów.

Nowy!!: Proof-Carrying Code i Maszyna wirtualna · Zobacz więcej »

Podpis cyfrowy

Podpis cyfrowy – matematyczny sposób sprawdzenia autentyczności dokumentów i wiadomości elektronicznych.

Nowy!!: Proof-Carrying Code i Podpis cyfrowy · Zobacz więcej »

Procesor

Procesor Intel Pentium (widok od dołu) LGA1366 Pomieszczenie wysokiej czystości (''Clean room'') w Glenn Research Center (NASA) Procesor (ang. central processing unit, CPU) – sekwencyjne urządzenie cyfrowe, które pobiera dane z pamięci operacyjnej lub strumienia danych, interpretuje je i wykonuje jako rozkazy, zwracając dane do pamięci lub wyjściowego strumienia danych.

Nowy!!: Proof-Carrying Code i Procesor · Zobacz więcej »

Program komputerowy

Program komputerowy (ang. computer program) – sekwencja symboli opisująca realizowanie obliczeń zgodnie z pewnymi regułami zwanymi językiem programowania.

Nowy!!: Proof-Carrying Code i Program komputerowy · Zobacz więcej »

Protokół internetowy

Protokół internetowy, IP (od) – protokół komunikacyjny warstwy sieciowej modelu OSI (warstwy internetu w modelu TCP/IP).

Nowy!!: Proof-Carrying Code i Protokół internetowy · Zobacz więcej »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »