Amir Pnueli
Autor:
Přisuzování:
Obrázek je označen jako „Vyžadováno uvedení zdroje“ (Attribution Required), ale nebyly uvedeny žádné informace o přiřazení. Při použití šablony MediaWiki pro licence CC-BY byl pravděpodobně parametr atribuce vynechán. Autoři zde mohou najít příklad pro správné použití šablon.
Shortlink:
Zdroj:
Formát:
436 x 480 Pixel (34854 Bytes)
Popis:
Pr Amir Pnueli, 1996 Turing Award laureate
Komentář k Licence:
Copyright © 2005 David Monniaux
Licence:
Výhrada:
personality
Credit:
Photograph taken by myself in Paris, France at the VMCAI '05 conference on January 18, 2005
Relevantní obrázky
Relevantní články
Amir PnueliProfesor Amir Pnueli byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena. .. pokračovat ve čtení