Component software

Component-based network system engineering by: (Language materials, printed)

Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (Language materials, printed)

Component software

Systems engineering

Computer networks

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Formal methods (Computer science)

Software engineering.

Logic design.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer networks.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.