【预订】Formal Methods for Components and Objects: 10th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods – The Next 30 Years 9783030309411 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030309411 Author 作者 Maurice H. ter Beek Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2420g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling La
¥608.00
【预订】Formal Methods for Components and Objects 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods: Foundations and Applications 97836421045 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642104510 Author 作者 Marcel Vinícius Medeiros Oliveira Lagoa Nova Natal Brazil Format 版本 平装-胶订 Pages Number 页数 351页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-11-09 Shipping Weight 商品重量 557g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational sys
¥608.00
【预订】Formal Methods: Foundations and Applications 97836422503 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642250316 Author 作者 Simao Format 版本 平装-胶订 Pages Number 页数 205页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-28 Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
¥608.00
【预订】Formal Methods for Components and Objects 9783540921875 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540921875 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-01 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium
¥608.00
【预订】Formal Methods in Macro-Biology: First International Con 美国库房发货，通常付款后3-5周到货！
¥583.00
【预订】Formal Methods and Software Engineering 9783642342806 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642342806 Author 作者 Aoki Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-09-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 801g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, tempor
¥608.00
【预订】Formal Methods and Object Technology 9783540199779 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540199779 Author 作者 Goldsack Format 版本 平装-胶订 Pages Number 页数 368页 Publication Date 出版日期 1996-04-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Language 语种 英语 Book Contents 内容简介 Rationale Software engineering aims to develop software by using approaches which en? able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program? ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular c
¥1217
【预订】Formal Methods for the Design of Real-Time Systems 97835 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540230687 Author 作者 Berrdo Format 版本 平装-胶订 Pages Number 页数 297页 Publication Date 出版日期 2004-09-01 Language 语种 英语
¥608.00
【预订】Formal Methods for Industrial Critical Systems: 19th Int 美国库房发货，通常付款后3-5周到货！
¥583.00
【预订】Formal Methods for Hardware Verification 9783540343042 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540343042 Author 作者 Berrdo Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-05-15 Language 语种 英语 Book Contents 内容简介 This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).
¥608.00
【预订】Formal Methods in Manufacturing Systems: Recent Advances 美国库房发货，通常付款后3-5周到货！
¥1669
【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
¥1339
【预订】Formal Methods for Web Services 9783642019173 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642019173 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-05-12 Shipping Weight 商品重量 539g Language 语种 英语
¥560.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540729198 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 317页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-25 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.
¥608.00
【预订】Formal Methods for Mining Structured Objects 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods for Components and Objects 9783540229421 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540229421 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 371页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-10-27 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers pre
¥608.00
【预订】Formal Methods – Fun for Everybody 9783030713737 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030713737 Format 版本 平装-胶订 Pages Number 页数 227页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-03 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
¥608.00
【预订】Formal Methods and Software Engineering 9783540766483 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540766483 Author 作者 Michael Butler University of Southampton School of Electron Format 版本 平装-胶订 Pages Number 页数 387页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-11-07 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
¥608.00
【预订】Formal Methods for Industrial Critical Systems 978364203 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642032394 Author 作者 Darren Cofer Honeywell Technology Center Minneapolis MN Format 版本 平装-胶订 Pages Number 页数 233页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-07-20 Shipping Weight 商品重量 379g Language 语种 英语 Book Contents 内容简介 The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicit
¥608.00
【预订】Formal Methods 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods: Foundations and Applications 97830312247 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031224751 Author 作者 Lucas Lima Format 版本 平装-胶订 Pages Number 页数 143页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-12-18 Language 语种 其它（含多语）
¥608.00
【预订】Formal Methods and Stochastic Models for Performance Eva 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540752103 Author 作者 Katinka Wolter Format 版本 平装-胶订 Pages Number 页数 304页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-09-17 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions.
¥608.00
【预订】Formal Methods for Distributed Processing: A Survey of O 美国库房发货，通常付款后3-5周到货！
¥613.00
【预订】Formal Methods in Systems Biology 9783540684107 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540684107 Author 作者 Jasmin Fisher Format 版本 平装-胶订 Pages Number 页数 139页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-26 Shipping Weight 商品重量 248g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainstheproceedingsoftherstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways
¥608.00
【预订】Formal Methods and Models for System Design 978144195464 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954640 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 372页 Publisher 出版社 Springer US Publication Date 出版日期 2011-12-14 Language 语种 英语 Book Contents 内容简介 Perhaps nothing characterizes the inherent heterogeneity in embedded sys? tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre? sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod? art, though eling, opt
¥1946
【预订】Formal Methods 9783031274800 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
¥1094
【预订】Formal Methods in Computer-Aided Design: Third 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods for Industrial Critical Systems: 15th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods for Industrial Critical Systems: 14th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of
¥608.00
【预订】Formal Methods and Testing 9783540789161 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal
¥608.00
【预订】Formal Methods for an Informal World 9783031436772 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它（含多语） Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi
¥608.00
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2434
【预订】Formal Methods for Embedded Distributed Systems: How Y97 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549930 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥608.00
【预售 按需印刷】Formal Methods for Analyzing Privacy Policies
¥1111.8
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2434
【预订】Formal Methods for Industrial Critical Systems 978303058 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030582975 Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 970g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contai
¥608.00
【预订】Formal Methods and Software Engineering 9783319254227 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319254227 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-12-02 Shipping Weight 商品重量 706g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
¥608.00
【预订】Formal Methods for Components and Objects: 9th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods for Distributed System Development 978147 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475752649 Author 作者 Bolognesi Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer US Publication Date 出版日期 2013-02-28 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1310g Language 语种 英语 Book Contents 内容简介 th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --’Fonna! Methods? Implementation Under Test’ --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM’s), wit
¥2434
【预订】Formal Methods for Industrial Critical Systems 978364224 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642244308 Author 作者 Salaün Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-19 Shipping Weight 商品重量 396g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
¥608.00
【预订】Formal Methods for Industrial Critical Systems: A 美国库房发货，通常付款后3-5周到货！
¥1337
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods: Foundations and Applications 97833192947 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319294728 Author 作者 Cornélio Format 版本 平装-胶订 Pages Number 页数 195页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-02-03 Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.
¥486.00
【预订】Formal Methods: Foundations and Applications: 20th Brazi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319708478 Author 作者 Fiadeiro, Jose Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-12-11 Language 语种 英语
¥790.00
【预订】Formal Methods in Computer-Aided Design 9783540651918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540651918 Author 作者 Gopalakrishnan Format 版本 平装-胶订 Pages Number 页数 538页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-10-21 Language 语种 英语
¥608.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540204916 Author 作者 jm Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-10 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in th
¥608.00
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2434
【预订】Formal Methods in Manufacturing 9781138074293 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138074293 Format 版本 平装-胶订 Publication Date 出版日期 2017-11-22 Language 语种 英语
¥1130
【预订】Formal Methods in Computer-Aided Design 9783540237389 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540237389 Author 作者 Hu Format 版本 平装-胶订 Pages Number 页数 448页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-11-17 Language 语种 英语
¥608.00
【预订】Formal Methods for Open Object-Based Distributed 美国库房发货，通常付款后3-5周到货！
¥2434
【预订】Formal Methods and Software Engineering 9783540881933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540881933 Author 作者 Shaoying Liu Hosei University Dept. Computer Science Kogan Format 版本 平装-胶订 Pages Number 页数 397页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-08 Language 语种 英语 Book Contents 内容简介 Formal engineering methods are intended to oer e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must
¥608.00
【预订】Formal Methods for Embedded Distributed Systems: How 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods for Mining Structured Objects 97836424306 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods and Software Engineering 9783319478456 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods for Components and Objects 9783540747918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540747918 Author 作者 Frank S. de Boer Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-12-18 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software
¥608.00
【预订】Formal Methods for Components and Objects: 4th 美国库房发货，通常付款后3-5周到货！
¥608.00
