Fundamentals of Software Engineering Fundamentals of Software Engineering

Fundamentals of Software Engineering

7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

    • US$39.99
    • US$39.99

출판사 설명

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.

The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

장르
컴퓨터 및 인터넷
출시일
2017년
10월 10일
언어
EN
영어
길이
271
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
6.4
MB
Integrated Formal Methods Integrated Formal Methods
2019년
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
2017년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2019년
Integrated Formal Methods Integrated Formal Methods
2018년
Formal Methods and Software Engineering Formal Methods and Software Engineering
2022년
Perspectives of System Informatics Perspectives of System Informatics
2016년
Multi-Agent Programming: Multi-Agent Programming:
2009년
Engineering Multi-Agent Systems Engineering Multi-Agent Systems
2023년
Intelligent Technologies for Interactive Entertainment Intelligent Technologies for Interactive Entertainment
2016년
Engineering Multi-Agent Systems Engineering Multi-Agent Systems
2015년
Multi-Agent Programming Multi-Agent Programming
2006년
Specification and Verification of Multi-agent Systems Specification and Verification of Multi-agent Systems
2010년