فریدریش ال باوئر

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو
فردریش ال بائر
FriedrichLudwigBauer.jpg
متولد ۱۰ ژوئن ۱۹۲۴(۱۹۲۴-06-۱۰) ‏(۹۳ سال)
رگنسبورگ، آلمان
ملیت آلمانی
رشته فعالیت علوم رایانه
محل کار دانشگاه فنی مونیخ
دلیل شهرت پشته
Sequential Formula Translation
الگول
جوایز صلیب آهنی
نشان افتخار شایستگی جمهوری فدرال آلمان
IEEE Computer Pioneer

فردریش لودویگ بائر (متولد ۱۰ ژوئن ۱۹۲۴ در رگنسبورگ) دانشمند کامپیوتر و استاد بازنشسته دانشگاه فنی مونیخ اهل آلمان است.[۱]

مقالات[ویرایش]

  • 1960 Sequential Formula Translation, Commun. ACM 3(2): 76-83, (together with Klaus Samelson), a very influential paper on compilers

کتاب‌ها[ویرایش]

منابع[ویرایش]

  1. "Mechanizing Proof: Computing, Risk, and Trust" By Donald MacKenzie

پیوند به بیرون[ویرایش]