TY - BOOK ID - 5451288 TI - Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings AU - Liu, Zhiming AU - He, Jifeng AU - International Conference on Formal Engineering Methods PY - 2006 VL - 4260 SN - 03029743 SN - 9783540474609 3540474609 3540474625 PB - Berlin ; New York : Springer, DB - UniCat KW - Formal methods (Computer science) KW - Software engineering KW - Méthodes formelles (Informatique) KW - Génie logiciel KW - Congresses. KW - Congrès KW - Computer Science KW - Engineering & Applied Sciences KW - Information Technology KW - Software Engineering KW - Computer science. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Informatics KW - Science 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 - Formal methods (Computer science) - Congresses. KW - Software engineering - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5451288 AB - ER -