Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Marco Bernardo (편집자)
아직 평점이 없습니다
2013 · 영어 · 페이퍼백 · 판본 2개
서가에 추가

이 책 평가하기

도서 일지 내보내기

설명

Chaotic dynamics.- Information theory.- Systems biology.- Hybrid systems.- Quantum computing.- Automata-based models and model checking.

책 세부 정보

형식 페이퍼백
페이지 192 페이지
언어 영어
출판됨 Jun 9, 2013
출판사 Springer
판본 판본 2개
ISBN-10 3642388752
ISBN-13 9783642388750
서가에 추가

이 책 평가하기

도서 일지 내보내기