非标定理几何Nonstandard
逻辑设计Logic定理Programming
预售ProgramsAnalysisProving
瑟尔大卫试验场Proving
试验场军事化EnvironmentalMilitarized
预订ProvingTheoremLogics
国际会定理第六届International
VerificationCorrectnessIntroducing预订
预售AutomatedPracticeTheorem
高阶定理InternationalApplications
ApplicationNonstandardCombinationPrincipia
证明写作ProvingReading
高阶定理InternationalConference
定理AutomatedPractice证明
预售AutomatedProvingTheorem
预售ProvingTheoremLogics
预售MechanicalGeometryProving
软件工程定理EngineeringAutomated
9781104913519SpiritualInternal印刷
9781942185666预订ProvingGround
Automated预订SoftwarTheorem
9781104464714Examples印刷Proving
MechanicalGeometryMechanizationMathematics
Mechanical定理机械化Mechanization
证明ICMIMathematicsEducation
9789400721289MathematicsEducation预订
9780595099252印刷ProvingTory's
乌斯波德提提定律
试验场军事化U.S.Environmental
定理Automated逻辑证明
定理Automated证明Proving
Aborigines预订ColumbusIdentity
太阳系彩色证明形成
修斯伯德定律证明
扫描二维码打开
周一至周六
9:00-22:00
生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN014FAZ1N1ym0n8NybXX_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换The Golden Key, Proving An Internal Spiritual Sense To The Holy Word (1817)[9781104913519]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01pU2ETX1a4SHmgcbzy_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Self Proving Examples[9781104464714]](https://img.alicdn.com/bao/uploaded/i1/1899623276/O1CN01ixLCxE1a4SHlvTAtt_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换The Proving Zone:Tory's Story[9780595099252]](https://img.alicdn.com/bao/uploaded/i3/1899623276/O1CN01shys8y1a4SHdjwEsn_!!0-item_pic.jpg_310x310.jpg)
