Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science, 6959)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-24430-8
Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science, 7437)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-32468-0
Formal Methods for Mobile Computing (Lecture Notes in Computer Science, 3465)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-25697-7
Formal Methods for Model-Driven Engineering (Lecture Notes in Computer Science, 7320)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-30981-6
Formal Methods for Open Object-Based Distributed Systems (Lecture Notes in Computer Science, 3535)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-26181-0
Formal Methods in Software and Systems Modeling (Lecture Notes in Computer Science, 3393)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-24936-8
Formal Methods, Foundations and Applications (Lecture Notes in Computer Science, 7021)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-25031-6
Formal Methods: Foundations and Applications (Lecture Notes in Computer Science, 6527)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-19828-1
Formal Methods: Foundations and Applications (Lecture Notes in Computer Science, 7498)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-33295-1
Formal Modeling and Analysis of Timed Systems (Lecture Notes in Computer Science, 3829)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-30946-8