喬納森·鮑文

喬納森 ・ P ・ 鮑文FBCS FRSA（Jonathan P . Bowen 一九五六年—）是一位英國計算機科學家。伊是 Museophile 有限公司的主席佮倫敦南岸大學的榮譽教授，佇遐伊領導用形式方法中心。伊是伯明罕城市大學計算機科學教授，威斯敏斯特大學普林特研究所（紐約市）客座教授，倫敦國王學院佮倫敦大學學院訪問學者

生平

佇彼个牛津，是亨福里 ・ 鮑文的後生，佇布萊恩斯頓學校、龍學校受著教育，後來就入去牛津大學大學學院，佇遐得著工程科學碩士學位。

對作

• Bowen , J . P . , editor , _ Towards Verified Systems _ . Elsevier Science , Real-Time Safety Critical Systems series , volume 二 , 一千九百九十四 . ISBN 空抹四百四十四抹八九千九百空一鋪四 .
• Hinchey , M . G . and Bowen , J . P . , editors , _ Applications of Formal Methods _ . Prentice Hall International Series in Computer Science , 一千九百九十五 . ISBN 空九十三五三十六八六千九百四十九九五一 .
• Bowen , J . P . , _ Formal Specification and Documentation using Z : A Case Study Approach _ . International Thomson Computer Press , International Thomson Publishing , 九百九十六 . ISBN 一孵八孵五千空三十二孵兩百三十五九 .
• Bowen , J . P . and Hinchey , M . G . , editors , _ High-Integrity System Specification and Design _ . Springer-Verlag , London , FACIT series , 一千九百九十九 . ISBN 三石五百四十五五五百六千兩百二十六孵四 .
• Hinchey , M . G . and Bowen , J . P . , editors , _ Industrial-Strength Formal Methods in Practice _ . Springer-Verlag , London , FACIT series , 一千九百九十九 . ISBN 一孵八孵五千兩百三十三石六百四十五 .
• Hierons , R . , Bowen , J . P . , and Harman , M . , editors , _ Formal Methods and Testing _ . Springer-Verlag , LNCS , Volume 四千九百四十九 , 兩千空八 . ISBN 九百七十八石三鋪五百四十五七鋪八千九百一十六孵一 .
• Börger , E . , Butler , M . , Bowen , J . P . , and Boca , P . , editors , _ Abstract State Machines , B and Z _ . Springer-Verlag , LNCS , Volume 五千兩百三十八 , 兩千空八 . ISBN 九百七十八追三鋪五百四十五八追八七千六百空二孵一 .
• Boca , P . P . , Bowen , J . P . , and Siddiqi , J . I . , editors , _ Formal Methods : State of the Art and New Directions _ . Springer , 二千空一十 . ISBN 九百七十八追一孵八摃四千八百八十二孵七百三十五孵六 , e-ISBN 九百七十八追一孵八摃四千八百八十二孵七百三十六鼻三 , doi : 十 . 九百七十八分之一千空七孵一孵八孵四千八百八十二孵七百三十六鼻三 .
• Bowen , J . P . , Keene , S . , and Ng , K . , editors , _ Electronic Visualisation in Arts and Culture _ . Springer Series on Cultural Computing , Springer , 二千空一十三 . ISBN 九百七十八追一一孵四千四百七十一孵五千四百空六孵八 .
• Copeland , J . , Bowen , J . P . , Sprevak , M . , Wilson , R . , et al . , _ The Turing Guide _ . Oxford University Press , 二千空一十七 . ISBN  九百七十八石一石九千八百七十四抹七千八百二十六 , ISBN  九百七十八石一石九千八百七十四抹七千八百三十三 .

參考文獻

• Bowen , Jonathan Peter . _ Who's Who in the World _ , Marquis Who's Who , 十八 th edition , 兩千空一 .
• H-museum information
• Museums and the Web conference information
• Film on the Web conference information
• International Center for Scientific Research information

外部連結

• 個人網站
• 大學主頁
• 由 Google 學術搜索引的喬納森 ・ 鮑文出版物
• 微軟學術搜揣出版列表
• 喬納森 ・ 鮑文佇數學譜系計畫的資料。