Formal methods for model-driven engineering : 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /

Formal methods for model-driven engineering : 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering an...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Cortellessa, Vittorio, Pierantonio, Alfonso, Bernardo, Marco
Định dạng:	eBook
Ngôn ngữ:	English
Được phát hành:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Loạt:	Lecture Notes in Computer Science 7320
Những chủ đề:	Computer science. Software engineering. Information Systems.
Truy cập trực tuyến:	Click here to view the full text content
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Được phát hành: (2014)

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
Được phát hành: (2013)

Formal methods for web services 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures /
Được phát hành: (2009)

Formal methods for mobile computing 5th International School on formal methods for the design of computer, communication, and software systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Bằng: Bernardo, Marco
Được phát hành: (2005)

Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
Bằng: Aldini, Alessandro
Được phát hành: (2010)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Được phát hành: (2012)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Được phát hành: (2013)

Formal methods and software engineering 14th International conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
Được phát hành: (2012)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Được phát hành: (2006)

Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Được phát hành: (2014)

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
Được phát hành: (2012)

Formal methods and software engineering /
Được phát hành: (2005)

Formal methods and software engineering 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
Được phát hành: (2010)

Formal methods and software engineering /
Được phát hành: (2005)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Được phát hành: (2012)

Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Được phát hành: (2012)

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Được phát hành: (2012)

Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
Được phát hành: (2014)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Được phát hành: (2012)

Formal methods : state of the art and new directions /
Được phát hành: (2010)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Bằng: Fitzgerald, John
Được phát hành: (2005)

Formal methods industrial use from model to the code
Được phát hành: (2012)

Formal methods industrial use from model to the code
Được phát hành: (2012)

Teaching and learning formal methods /
Được phát hành: (1996)

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
Bằng: Brim, Lubos
Được phát hành: (2007)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
Được phát hành: (2012)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
Bằng: Butler, Michael
Được phát hành: (2007)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Được phát hành: (2013)

Teaching and learning formal methods /
Được phát hành: (1996)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Được phát hành: (2005)

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Được phát hành: (2013)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Được phát hành: (2010)

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Được phát hành: (2013)

Formal methods: state of the art and new directions
Được phát hành: (2010)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Được phát hành: (2014)

FM 2006: formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
Được phát hành: (2006)

FM 2014: formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Được phát hành: (2014)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Được phát hành: (2014)