预订 Tryptophan, Serotonin, Melatonin - The Spectacu... 978365
海外仓库发货,通常付款后4-9周到货!
/ 2013-05-31
图书信息 书号: 9783659404931 作者: Dragoi Cristina Manuela 装帧: 平装-胶订 页数: 140页 出版社: Omnium Gmbh & Co. Kg. 尺寸: 0.9 x 0.6 x 22.8 cm 出版日期: 2013-05-31 重量: 213g 语种: 其它(含多语) 内容简介 The uniqueness of human architecture is based on inte
¥495.00
【预订】Verification, Model Checking, and Abstract Interpretatio
国外库房发货,通常付款后3-5周到货!
/ 2023-02-11
Product Details 基本信息 ISBN-13 书号 9783031249495 Author 作者 Cezara Dragoi Format 版本 平装-胶订 Pages Number 页数 391页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-02-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.82 Shipping Weight 商品重量 1.23 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transfo
¥686.00