上一页

ⓘ 乔纳森·鲍文




乔纳森·鲍文
                                     

ⓘ 乔纳森·鲍文

乔纳森 P 鲍文 FBCS FRSA (Jonathan P. Bowen 1956年 - )是一位英國計算機科學家。他是Museophile有限公司的主席和倫敦南岸大學的榮譽教授,在那裡他領導應用形式方法中心。他是伯明翰城市大學計算機科學教授,威斯敏斯特大學普林特研究所(紐約市)客座教授,倫敦國王學院和倫敦大學學院訪問學者

                                     

1. 生平

出生於牛津,是 亨福里 鲍文 的兒子,在布萊恩斯頓學校、龍學校接受教育,後來進入牛津大學大學學院,在那裡獲得工程科學碩士學位。

                                     

2. 著作

  • Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.
  • Bowen, J.P., Keene, S., and Ng, K., editors, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.
  • Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide. Oxford University Press, 2017. ISBN 978-0198747826, ISBN 978-0198747833.
  • Bowen, J.P., editor, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4.
  • Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
  • Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-85032-230-9.
  • Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
  • Boca, P.P., Bowen, J.P., and Siddiqi, J.I., editors, Formal Methods: State of the Art and New Directions. Springer, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, doi:10.1007/978-1-84882-736-3.
  • Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
  • Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
                                     
  • 乔 纳 森 勒内 本德 英語 Jonathan Rene Bender 1981年1月30日 美国NBA联盟前职业篮球运动员 他在1999年的NBA选秀中第1轮第5顺位被多伦多猛龙选中 乔 纳 森 本德 - 数据NBA
  • 乔 森 潘 高棉语 ខ វ ស ផន 罗马化 Khieu Samphan 1931年7月27日 红色高棉第四或五号領導人 1976年任柬埔寨共產黨中央政治局常委 1976 - 79年任国家主席团主席 元首 以官費獎學金留學法國 1959年以 柬埔寨經濟與工業發展 獲蒙彼利埃大學經濟學博士 回國任金邊大
  • 教育委员会主席 教育大臣 安德 森 蒙塔古 - 巴洛爵士 劳工大臣 内维尔 张伯伦 健康大臣 威廉 乔 因 森 - 希克斯爵士 国库大臣 莱明 沃辛顿 - 埃 文 斯爵士 邮政大臣 1923年8月 内维尔 张伯伦接替 鲍 德温首相任财政大臣 威廉 乔 因 森 - 希克斯爵士接替张伯伦任健康大臣 国库大臣一职空白 斯坦利 鲍 德温
  • 萊 納 斯 卡爾 鮑 林 英語 Linus Carl Pauling 1901年2月28日 1994年8月19日 美國化学家 量子化學和結構生物學的先驱者之一 1954年因在化學鍵方面的工作取得诺贝尔化学奖 1963年因反對核彈在地面測試的行動获得1962年度的诺贝尔和平奖
  • 神下凡了 他們稱巴拿巴為宙斯 保羅為赫密士 乔 纳 森 斯威夫特 約於1706年寫了另一則同名的寓言 维基 文 库中相关的原始文献 拉丁原文及英文翻譯 维基 文 库中相关的原始文献 乔 纳 森 斯威夫特的改版 变形记 VIII 611 费莱蒙和 鲍 西丝 Mythology: Myths, Legends
  • 21 9 - 21 不敌赛会头号种子 同胞的塔伦 科 纳 阿什维尼 蓬 纳 帕 2015年1月 普拉 纳 杰里 乔 普拉与艾谢 迪瓦卡出戰印度羽毛球黃金大獎賽 在男双準決賽以0比2 10 - 21 13 - 21 不敌赛会头号种子 丹麦的玛蒂亚斯 鲍 伊 卡斯腾 摩根 森 接着8月 他參加印尼雅加達舉行的世界羽毛球錦標賽
  • 卡爾 文 森 號航空母艦 USS Carl Vinson CVN - 70 是一艘美國海軍尼米茲級核動力航空母艦 也是十艘同級艦中的三號艦 1980年正式下水的卡爾 文 森 號是美國海軍第一艘新船下水時 其命名由來的主人公還在世的航空母艦 卡尔 文 森 是來自佐治亞州的知名眾議員 長年擔任眾議院軍事委員會 House
  • 纳 森 旧居是时任开滦矿务局董事部主席兼经理英国籍犹太人爱德华 乔 治 纳 森 在天津的旧居之一 坐落于当时的天津英租界的咪哆士道 Meadours Road 和海大道 Taku Road 交口 原开滦矿务局大楼旁边 今和平区泰安道与大沽北路交口处的泰安道5 - 2号 该建筑目前是天津市文物保护单位和一般保护等级历史风貌建筑
  • 鲍 德温一世一同前往圣地 当 鲍 德温一世在戈弗雷部下的请求下 为继承戈弗雷的王位而离开埃德萨时 将其埃德萨伯爵爵位传给了 鲍 德温 后 鲍 德温在1104年的哈兰之战中被阿尔图格王朝所俘虏 安条克公国的摄政坦克里德及其表弟在此期间代替 鲍 德温统辖埃德萨城 1108年 鲍 德温的表亲 乔 治林一世将 鲍
  • 亚伯拉罕 鲍 德温 英語 Abraham Baldwin 1754年11月22日 1807年3月4日 来自美国 乔 治亚州 是一名政治人物 爱国主义者及开国元勋 他曾代表 乔 治亚州出席大陆会议 并于美国宪法正式通过后 在美国众议院及参议院任职 他同时还是 乔 治亚大学的创始人和校长 在当地的一所乡村学校毕业后 鲍