Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

書目詳細資料
其他作者:	Liu
格式:	電子電子書
語言:	English
出版:	Springer Berlin Heidelberg, 2013
版:	1
主題:	Electronic books
在線閱讀:	Full text available on Springer Off-campus access

相似書籍

Unifying Theories of Programming and Formal Engineering Methods
出版: (2013)

Integrated Formal Methods
出版: (2013)

NASA Formal Methods
出版: (2013)

Formal Methods and Software Engineering
出版: (2013)

Formal Methods for Components and Objects
出版: (2013)

Formal Methods for Components and Objects
出版: (2013)

Formal Methods for Dynamical Systems
出版: (2013)

Formal Methods: Foundations and Applications
出版: (2013)

Software Engineering and Formal Methods
出版: (2013)

Web Services and Formal Methods
出版: (2013)

Formal Methods in System Design

Automata Theory and Formal Languages
由: Kandar, Shyamalendu

Formal Methods for Industrial Critical Systems
出版: (2013)

Formal Methods for Mining Structured Objects
由: Garriga
出版: (2013)

Formal Methods in Computer Aided Design

Structured Object-Oriented Formal Language and Method
出版: (2013)

Proceedings of the second workshop on Automated formal methods

2013 Formal Methods in Computer-Aided Design

Formal Methods in Computer Aided Design (FMCAD)

Conference proceedings on Formal methods in software development

Social Programs and Formal Employment : Evidence from the Brazilian Bolsa Familia Program /
由: Fruttero, Anna
出版: (2020)

Activity Theory in Formal and Informal Science Education
出版: (2013)

Introduction to Automata Theory, Formal Languages and Computation
由: Kandar, Shyamalendu

Introduction to formal languages, automata theory and computation /
由: Krithivasan, Kamala
出版: (2009)

Proceedings of the second workshop on Formal methods in software practice

Proceedings of the third workshop on Formal methods in software practice

2020 Formal Methods in Computer Aided Design (FMCAD)

2018 Formal Methods in Computer Aided Design (FMCAD)

2019 Formal Methods in Computer Aided Design (FMCAD)

2012 Formal Methods in Computer-Aided Design (FMCAD)

2014 Formal Methods in Computer-Aided Design (FMCAD)

2016 Formal Methods in Computer-Aided Design (FMCAD)

2011 Formal Methods in Computer-Aided Design (FMCAD)

Software Engineering and Formal Methods (SEFM), International Conference on

2021 Formal Methods in Computer Aided Design (FMCAD)

2015 Formal Methods in Computer-Aided Design (FMCAD)

2017 Formal Methods in Computer Aided Design (FMCAD)

Proceedings of the fourth ACM workshop on Formal methods in security

Formal Grammar
出版: (2013)

Speculative Formalism
由: Eyers