TY - BOOK ID - 5315498 TI - Embedded Software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings AU - Sangiovanni-Vincentelli, Alberto. AU - Sifakis, Joseph. AU - EMSOFT (Conference) PY - 2002 VL - 2491 SN - 354044307X 354045828X 9783540443070 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer software KW - Embedded computer systems KW - Development KW - Programming KW - Computer Science KW - Engineering & Applied Sciences KW - Computer science. KW - Special purpose computers. KW - Software engineering. KW - Operating systems (Computers). KW - Computer logic. KW - Application software. KW - Computer Science. KW - Computer Applications. KW - Software Engineering/Programming and Operating Systems. KW - Operating Systems. KW - Logics and Meanings of Programs. KW - Special Purpose and Application-Based Systems. KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer operating systems KW - Computers KW - Disk operating systems KW - Systems software KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Operating systems KW - Special purpose computers KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software - Development - Congresses KW - Embedded computer systems - Programming - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:5315498 AB - ER -