Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Fundamentals of Software Engineering: 6th International Conference, Fsen 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Fundamentals of Software Engineering: 6th International Conference, Fsen 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Mehdi Dastani
0/5 ( ratings)
Read Download
This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015.


The 21 full papers presented in this volume were carefully reviewed and selected from 64 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.
Pages
317
Format
Paperback
Publisher
Springer
Release
November 12, 2015
ISBN
3319246437
ISBN 13
9783319246437

Fundamentals of Software Engineering: 6th International Conference, Fsen 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Mehdi Dastani
0/5 ( ratings)
Read Download
This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015.


The 21 full papers presented in this volume were carefully reviewed and selected from 64 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.
Pages
317
Format
Paperback
Publisher
Springer
Release
November 12, 2015
ISBN
3319246437
ISBN 13
9783319246437

More books from Mehdi Dastani

Specification and Verification of Multi-Agent Systems

4/5 ( ratings)

Languages, Methodologies, and Development Tools for Multi-Agent Systems: Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers

5/5 ( ratings)

Programming Multi-Agent Systems

4/5 ( ratings)

Multi-Agent Programming:: Languages, Tools and Applications

4/5 ( ratings)

Programming Multi-Agent Systems: 10th International Workshop, Promas 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

4/5 ( ratings)

PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science Book 11873)

4/5 ( ratings)

Intelligent Technologies for Interactive Entertainment: 8th International Conference, Intetain 2016, Utrecht, the Netherlands, June 28 30, 2016, Revised Selected Papers

4/5 ( ratings)

Programming Multi-Agent-Systems: 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

4/5 ( ratings)

Programming Multi-Agent Systems: First International Workshop, Promas 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers

4/5 ( ratings)

Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, Lads 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

4/5 ( ratings)

Rate this book!

Write a review?

loader