Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September ... Papers

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September ... Papers

まだ評価がありません
2014 · 英語 · ペーパーバック
棚に追加

この本を評価する


ブックジャーナルをエクスポート

説明

In a vibrant exploration of software engineering, this collection brings together some of the brightest minds from the SEFM 2013 workshops held in Madrid. With a keen focus on formal methods, it showcases refined papers rich with insights and practical findings that tackle contemporary challenges in the field.

Readers will find a delightful mix of topics that spark curiosity and encourage collaboration among experts and novices alike. The authors, Steve Counsell and Manuel Núñez, ensure that every page reflects both scholarly rigor and an approachable style, making this volume a valuable resource for anyone interested in advancing their understanding of software engineering.

本の詳細

形式 ペーパーバック
ページ数 457ページ
言語 英語
公開されました Apr 1, 2014
出版社 SPRINGER
ISBN-10 3319050311
ISBN-13 9783319050317
棚に追加

この本を評価する


ブックジャーナルをエクスポート