Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics /

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: André Platzer (autor)
Формат: Ном
Хэл сонгох:англи
Хэвлэсэн: Berlín, Alemania : Springer, 2010, c2010
Онлайн хандалт:Ver documento en línea
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
Тодорхойлолт
Биет тодорхойлолт:1 libro electrónico en línea (XXX, 426 p.)
1 recurso en línea
ISBN:978-3-642-14509-4
Хандалт:Licencias ilimitadas