TY - BOOK ID - 5302747 TI - Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings AU - George, Chris. AU - Miao, Huaikou. AU - International Conference on Formal Engineering Methods PY - 2002 VL - 2495 SN - 03029743 SN - 3540000291 3540361030 9783540000297 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: 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 - Méthodes formelles (Informatique) KW - Génie logiciel KW - Congrès 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 - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. 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 - Informatics KW - Science KW - Computer software engineering KW - Engineering 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 - Formal methods (Computer science) - Congresses KW - Software engineering - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:5302747 AB - ER -