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

Noch keine Bewertungen
2014 · Englisch · Taschenbuch
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren

Beschreibung

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.

Buchdetails

Format Taschenbuch
Seiten 457 Seiten
Sprache Englisch
Veröffentlicht Apr 1, 2014
Verlag Springer
ISBN-10 3319050311
ISBN-13 9783319050317
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren