Broy, Manfred.

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / [electronic resource] : edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4922 0302-9743 ; . - Lecture Notes in Computer Science, 4922 .

9783540709305

10.1007/978-3-540-70930-5 doi


Computer science.
Software engineering.
Logic design.
Computer simulation.
Computer Science.
Special Purpose and Application-Based Systems.
Software Engineering.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Simulation and Modeling.

TK7874.6

004.6

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