Formal_图书大全

Applied Formal Verification

ISBN：9780071443722

Formal verification is a powerful new digital design method. In this cutting-edge tutorial, two of ...

Applied Formal Verification

Formal Models of Computation

ISBN：9789810245009

This book provides new presentations of standard computational models that help avoid pitfalls of t...

Formal Models of Computation

Formal Concept Analysis

ISBN：9783540627715

This is the first textbook on formal concept analysis. It gives a systematic presentation of the ma...

Formal Concept Analysis

Formal Languages and Automata Theory (Principles of Computer Science Series)

ISBN：9780716781868

...

Formal Languages and Automata Theory Principles of Computer Science Series

An Introduction to Formal Languages and Automata

ISBN：9780763714222

Written to address the fundamentals of formal languages, automata, and computability, An Introducti...

An Introduction to Formal Languages and Automata

Informal Lectures on Formal Semantics (Suny Series in Linguistics)

ISBN：9780887067723

...

Informal Lectures on Formal Semantics Suny Series in Linguistics

Informal Lectures on Formal Semantics

ISBN：9780887067716

...

Informal Lectures on Formal Semantics

Formal After Dinner Speeches and Stories

ISBN：9780572024161

...

Formal After Dinner Speeches and Stories

Formal Semantics of Programming Languages

ISBN：9780262731034

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary ...

Formal Semantics of Programming Languages

Formal Approaches to Agent-Based Systems 基于代理系统的形式方法

ISBN：9783540427162

在线阅读本书 This book constitutes the thoroughly refereed post-proceedings of the...

Formal Approaches to Agent Based Systems 基于代理系统的形式方法

Formal and Natural Computing

ISBN：9783540431909

在线阅读本书 This book assesses the state of the art in some of the most active research are...

Formal and Natural Computing

Lectures on Formal Methods and Performance Analysis

ISBN：9783540424796

Traditionally, models and methods for the analysis of the functional correctness of reactive system...

Lectures on Formal Methods and Performance Analysis

Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录

ISBN：9783540309468

《Formal Modeling and Analysis of Timed Systems》：he LCS series reprs sae-f-he-ar resuls i cmpuer sci...

Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析会议录

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

ISBN：9783540229421

...

Formal Methods for Components and Objects Second International Symposium FMCO 2003 Leiden The Netherlands November 4 7 2003 Revised Lectures

Formal Concept Analysis 形式概念分析/会议录

ISBN：9783540245254

...

Formal Concept Analysis 形式概念分析会议录

Formal Methods and Software Engineering形式方法与软件工程

ISBN：9783540297970

...

Formal Methods and Software Engineering 形式方法与软件工程

Formal Methods for Components and Objects 组件与对象用形式方法

ISBN：9783540291312

...

Formal Methods for Components and Objects 组件与对象用形式方法

Formal Techniques for Networked and Distributed Systems - FORTE 2004

ISBN：9783540232520

...

Formal Techniques for Networked and Distributed Systems FORTE 2004

Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法

ISBN：9783540205272

...

Formal Methods at the Crossroads From Panacea to Foundational Support 十字路口中的形式方法

Teaching Formal Methods形式方法教学/会议录

ISBN：9783540236115

...

Teaching Formal Methods 形式方法教学会议录

Teaching Formal Methods形式方法教学/会议录

ISBN：9783540236115

This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Met...

Teaching Formal Methods 形式方法教学会议录

Formal Methods for Open Object-Based Distributed Systems

ISBN：9783540261810

...

Formal Methods for Open Object Based Distributed Systems

Integrated Formal Methods集成形式化方法 /会议录

ISBN：9783540304920

...

Integrated Formal Methods 集成形式化方法会议录

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

ISBN：9783540244226

...

Formal Approaches to Agent Based Systems Third International Workshop FAABS 2004 Greenbelt MD April 26 27 2004 Revised Selected Papers

Formal Techniques for Computer Systems and Business Processes 计算机系统与经营过程用形式技术/会议录

ISBN：9783540287018

...

Formal Techniques for Computer Systems and Business Processes 计算机系统与经营过程用形式技术会议录

Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005

ISBN：9783540291893

...

Formal Techniques for Networked and Distributed Systems FORTE 2005 网络和分布系统的形式技术 FORTE 2005

软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing

ISBN：9783540344544

...

软件测试的形式方法 FATES 2005 会议文集 Formal Approaches to Software Testing

Formal Methods in Computer-Aided Design

ISBN：9783540237389

...

Formal Methods in Computer Aided Design

形式方法－获得完美信息技术 /Formal Methods

ISBN：9783540439288

在线阅读本书 This book constitutes the refereed proceedings of the international symposium F...

形式方法获得完美信息技术 Formal Methods

(综合形式方法/会议录)Integrated formal methods

ISBN：9783540437031

在线阅读本书 This book constitutes the refereed proceedings of the Third International Confe...

综合形式方法会议录 Integrated formal methods

Formal Contributions to the Theory of Public Choice

ISBN：9780792395560

Duncan Black made a significant contribution to the development of public choice theory during his...

Formal Contributions to the Theory of Public Choice

实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems

ISBN：9783540441656

...

实时与容错系统中的形式技术会议录 Formal techniques in real time and fault tolerant systems

Web服务与形式方法/Web services and formal methods

ISBN：9783540388623

...

Web 服务与形式方法 Web services and formal methods

开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems

ISBN：9783540348931

...

开放式基于对象分布式系统的正式方法 Formal methods for open object based distributed systems

使用B语言的形式说明与开发/formal specification and development in B

ISBN：9783540687603

...

使用 B 语言的形式说明与开发 formal specification and development in B

组件和对象用形式方法/Formal methods for components and objects

ISBN：9783540367499

...

组件和对象用形式方法 Formal methods for components and objects

Formal Syntax and Semantics of Programming Languages

ISBN：9780201656978

With this book, readers with a basic grounding in discreet mathematics will be able to understand t...

Formal Syntax and Semantics of Programming Languages

软件测试形式方法/会议文集Formal Approaches to Software Testing

ISBN：9783540251095

...

软件测试形式方法会议文集 Formal Approaches to Software Testing

Formalism in Ethics and Non-Formal Ethics of Values; A New Attempt Toward the Foundation of an Ethical Personalism (Northwestern University studies in phenomenology & existential philosophy)

ISBN：9780810104150

...

Formalism in Ethics and Non Formal Ethics of Values A New Attempt Toward the Foundation of an Ethical Personalism Northwestern University studies in phenomenology existential philosophy

Formal Thought and the Sciences of Man

ISBN：9789027715241

...

Formal Thought and the Sciences of Man

Formal And Funtional Perspectives On Tense And Related Categories

ISBN：9783039103676

...

Formal And Funtional Perspectives On Tense And Related Categories

Formal Indonesian

ISBN：9780877275152

...

Formal Indonesian

Formal Pragmatics

ISBN：9780631201212

Formal Pragmatics addresses issues that are on the borderline of semantics and pragmatics of natur...

Formal Pragmatics

Linguistics and the Formal Sciences

ISBN：9780521854818

The formal sciences, particularly mathematics, have had a profound influence on the development of ...

Linguistics and the Formal Sciences

Formal Approaches to Poetry

ISBN：9783110185225

...

Formal Approaches to Poetry

Investigating Tasks in Formal Language Learning

ISBN：9781853599279

...

Investigating Tasks in Formal Language Learning

ISBN：9781853599262

...

Investigating Tasks in Formal Language Learning

Formal Models, Languages And Applications

ISBN：9789812568892

...

Formal Models Languages And Applications

Annual Workshop on Formal Approaches to Slavic Languages

ISBN：9780930042967

...

Annual Workshop on Formal Approaches to Slavic Languages

The Role of Formal Features in Second Language Acquisition (Second Language Acquisition Research Series)

ISBN：9780805853544

This edited volume dealing with formal features in Second Language Acquisition is defined within cu...

The Role of Formal Features in Second Language Acquisition Second Language Acquisition Research Series