Giese, Holger.

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / [electronic resource] : edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6100 0302-9743 ; . - Lecture Notes in Computer Science, 6100 .

9783642162770

10.1007/978-3-642-16277-0 doi


Computer science.
Computer system performance.
Software engineering.
Logic design.
Computer simulation.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Simulation and Modeling.
System Performance and Evaluation.

QA76.758

005.1

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue