-
预订 The Robbers and Wallenstein 预订,预计下单后3-4周左右发货!
¥203.30
上海外文书店旗舰店
Lamport, F.,Schiller, Friedrich /1979-11-22 /Penguin Books Ltd
-
预订German Classical Drama:Theatre, Humanity and Nation 1750-1 预订,预计下单后3-4周左右发货!
¥558.60
上海外文书店旗舰店
Lamport, F. J. /1992-03-26 /Cambridge University Press
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用 图灵奖得主、TLA+开发者、微软研究院首席研究员Leslie Lamport亲笔撰写,揭开并发和分布式计算的神秘面纱,系统架构形式化验证参考
图灵奖得主、TLA 开发者、微软研究院首席研究员Leslie Lamport亲笔撰写,揭开并发和分布式计算的神秘面纱,系统架构形式化验证***参考 随着时代的发展,人们对各种信息系统的依赖越来越强,而这些系统也不再像传统系统那样封闭,它们面临的挑战和威胁与日俱增。为此,对于所谓的 非关键 信息系统而言,通过形式化技术提高设计质量、保证安全性与可靠性的需求也变得越来越迫切。 TLA 就是一种非常优秀的形式化建模语言。它的优点首先在于通用性,它可以描述大多数离散事件系统的行为逻辑;其次,它的难度适中,仅涉及CS专业大学本科阶段的数学和计算机科学知识,能够被广大开发与设计人员所掌握;后,由于TLA 的开发者(同时也是本书作者)的精心设计,它在验证高并发、分布式等复杂逻辑方面具有独特的优势。 本书用形式化的建模和验证方法保证所
¥76.40定价:¥139.00 (5.5折)
[美]莱斯利·兰伯特(Leslie Lamport) /2021-04-20 /机械工业出版社
-
【预订】A Three Years' Cruise in the Mozambique Channel a Three 美国库房发货,通常付款后3-5周到货!
¥250.00
中国进口图书旗舰店
Barnard, Frederick Lamport /2010-09-10 /Kessinger Publishing
-
【预订】Specifying Systems: The Tla+ Language and Tools for Hard 美国库房发货,通常付款后3-5周到货!
¥533.00
中国进口图书旗舰店
Lamport, Leslie /1988-08-08 /Addison-WesleyProfessional
-
【预订】A Treatise on Collisions at Sea, and the Trinity Rules. 美国库房发货,通常付款后3-5周到货!
¥153.00
中国进口图书旗舰店
Lamport, W. J. /2010-12-20 /Gale, Making of Modern Law
-
【预订】The Robbers and Wallenstein 美国库房发货,通常付款后3-5周到货!
¥152.00
中国进口图书旗舰店
Friedrich Schiller,F. J.Lamport /1988-08-08 /Penguin Classics
-
【预订】Schiller: Die Rauber 美国库房发货,通常付款后3-5周到货!
¥236.00
中国进口图书旗舰店
Friedrich Schiller,F.J.Lamport /1988-08-08 /Bristol Classical Press;New edition
-
【预订】German Classical Drama: Theatre, Humanity and Nation 美国库房发货,通常付款后3-5周到货!
¥409.00
中国进口图书旗舰店
F.J. Lamport /1988-08-08 /Cambridge UniversityPress
-
海外直订Specifying Systems 指定系统
¥457.00
明星店铺
中华商务进口图书旗舰店
Lamport, Leslie /2002-08-12 /Pearson Education (US)
-
【预售 按需印刷】A Three Years Cruise In The Mozambique C 北京发货,付款后10天内发货
¥228.00
中图图书旗舰店
Frederick Lamport Barnard /2009-01-13 /Kessinger Publishing
-
【预订】Latex: A Document Preparation System 美国库房发货,通常付款后3-5周到货!
¥471.00
中国进口图书旗舰店
Lamport, Leslie /1988-08-08 /Addison-WesleyProfessional
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥80.62定价:¥139.00 (5.8折)
明星店铺
博库网旗舰店
[美]莱斯利·兰伯特(Leslie Lamport)... /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥76.45定价:¥139.00 (5.5折)
浙江出版集团图书专营店
[美]莱斯利·兰伯特(Leslie Lamport) /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥76.45定价:¥139.00 (5.5折)
土星图书专营店
[美]莱斯利·兰伯特(Leslie Lamport)... /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥77.09定价:¥139.00 (5.55折)
博道图书专营店
[美]莱斯利·兰伯特(Leslie Lamport) /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥75.75定价:¥139.00 (5.45折)
明星店铺
木垛图书专营店
[美]莱斯利·兰伯特(Leslie Lamport)... /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥76.45定价:¥139.00 (5.5折)
博库图书音像专营店
[美]莱斯利·兰伯特(Leslie Lamport) /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥76.40定价:¥139.00 (5.5折)
火把图书专营店
[美]莱斯利·兰伯特(Leslie Lamport)... /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥76.45定价:¥139.00 (5.5折)
九层图书专营店
[美]莱斯利·兰伯特(Leslie Lamport) /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥93.13定价:¥139.00 (6.7折)
博库书城图书专营店
[美]莱斯利·兰伯特(Leslie Lamport) /2021-04-01 /机械工业
-
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
¥76.45定价:¥139.00 (5.5折)
博库图书专营店
[美]莱斯利·兰伯特(Leslie Lamport) /2021-04-01 /机械工业
-
【预订】Latex: A Document Preparation System 预订商品,需要1-3个月发货,非质量问题不接受退换货。
¥595.82
Lamport, Leslie /Addison