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)
9783642198281 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.

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-13	9783642198281 / 9783642198281
Zustand	Neuware