Amir Pnueli - Biblioteka.sk

Upozornenie: Prezeranie týchto stránok je určené len pre návštevníkov nad 18 rokov!
Zásady ochrany osobných údajov.
Používaním tohto webu súhlasíte s uchovávaním cookies, ktoré slúžia na poskytovanie služieb, nastavenie reklám a analýzu návštevnosti. OK, súhlasím


Panta Rhei Doprava Zadarmo
...
...


A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Amir Pnueli
Amir Pnueli
izraelský informatik
izraelský informatik
Narodenie22. apríl 1941
Nahalal, Izrael, vtedy Britský mandát Palestína
Úmrtie2. november 2009 (68 rokov)
New York, USA
Odkazy
Webstránkaac.il
CommonsSpolupracuj na Commons Amir Pnueli

Amir Pnueli (* 22. apríl 1941, Nahalal, Izrael, vtedy Britský mandát Palestína - † 2. november 2009, New York, USA) bol izraelský informatik. Zaoberal sa najmä temporálnou logikou a overovaním modelov, ako aj verifikáciou programov. Za prácu v týchto odvetviach informatiky dostal v roku 1996 Turingovu cenu.

Iné projekty

  • Spolupracuj na Commons Commons ponúka multimediálne súbory na tému Amir Pnueli
Zdroj:
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Zdroj: Wikipedia.org - čítajte viac o Amir Pnueli





Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.

Your browser doesn’t support the object tag.

www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk