Logical analysis of hybrid systems proving theorems for complex dynamics
Saved in:
Main Author: | |
---|---|
Format: | Book |
Published: |
Heidelberg
Springer
2010
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-441714 | ||
020 | # | # | |a 3642145086 |
020 | # | # | |a 9783642145087 |
040 | # | # | |a DLC |d ITMB |
090 | 0 | 0 | |a QA76.38 |b .P53 2010 |
100 | 1 | # | |a Platzer, Andre |
245 | 0 | 0 | |a Logical analysis of hybrid systems |b proving theorems for complex dynamics |c by Andre Platzer |
260 | # | # | |a Heidelberg |b Springer |c 2010 |
300 | # | # | |a xxx, 426 p. |b ill. (some col.) |c 24 cm |
504 | # | # | |a Includes bibliographical references (p. 401-413) and index |
650 | # | 0 | |a Hybrid computers |
650 | # | 0 | |a Functions of complex variables |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=441714 |
964 | # | # | |c BOK |d CS |