Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

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

相似書籍

Formal Methods for Dynamical Systems
出版: (2013)

Descriptional Complexity of Formal Systems
出版: (2013)

Formal Methods in System Design

Formal Grammar
出版: (2013)

Speculative Formalism
由: Eyers

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs

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

Formal Modeling and Analysis of Timed Systems
出版: (2013)

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs

Integrated Formal Methods
出版: (2013)

NASA Formal Methods
出版: (2013)

Formal Concept Analysis
出版: (2013)

Formal Languages and Compilation
由: Crespi Reghizzi
出版: (2013)

Formalization of Banking Supervision
由: Hotori
出版: (2022)

Formal Aspects of Computing

Formal Aspects of Computing

Formal Aspects of Computing

Formal Aspects of Computing

Formal Aspects of Computing

The Sociology of formal organizations /
出版: (1995)

Distributed systems /
由: Steen, Maarten van, et al.
出版: (2025)

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs

Formal Methods and Software Engineering
出版: (2013)

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

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

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

Software Engineering and Formal Methods
出版: (2013)

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