Tony Hoare: "Tugas metode formal adalah untuk menjelaskan asumsi yang...

"Tugas metode formal adalah untuk menjelaskan asumsi yang menjadi dasar kebenaran formal."

#Tergantung #Pekerjaan #Komputasi #Ketepatan #Metode #Anggapan #Resmi

Versi Bahasa Inggris

The job of formal methods is to elucidate the assumptions upon which formal correctness depends.

Anda mungkin juga menyukai:

Antony Tudor

3 Kutipan dan Pepatah

Bill Mechanic

4 Kutipan dan Pepatah

Bruce Dawe

2 Kutipan dan Pepatah

John Harold

1 Kutipan dan Pepatah

Maria Bethania

1 Kutipan dan Pepatah

Raj Chetty

10 Kutipan dan Pepatah

Simonides of Ceos

13 Kutipan dan Pepatah

Dexter Holland

2 Kutipan dan Pepatah

Earl Nightingale

192 Kutipan dan Pepatah

Bill Gross

35 Kutipan dan Pepatah

Ken Carter

2 Kutipan dan Pepatah