Blick ins Buch

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Jim Davies, Leila Silva, Adenilso Simao (Herausgeber)

Buch | Softcover

VIII, 291 Seiten

2011
Springer Berlin (Verlag)
978-3-642-19828-1 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

This book constitutes the thoroughly refereed post-conference
proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF
2010, held in Natal, Brazil, in November 2010.

The 18 revised full papers were carefully reviewed and selected from
55 submissions. The papers presented cover a broad range of foundational
and methodological issues in formal methods for the design and analysis
of software and hardware systems as well as applications in various
domains.

Erscheint lt. Verlag	23.3.2011
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	VIII, 291 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	425 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Algorithmen
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Model Checking • model transformation • Program verification • runtime verification • systems modeling
ISBN-10	3-642-19828-7 / 3642198287
ISBN-13	978-3-642-19828-1 / 9783642198281
Zustand	Neuware