Verkauf durch Sack Fachmedien

Simao / Morgan

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Medium: Buch
ISBN: 978-3-642-25031-6
Verlag: Springer
Erscheinungstermin: 28.10.2011
Lieferfrist: bis zu 10 Tage

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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.


Produkteigenschaften


  • Artikelnummer: 9783642250316
  • Medium: Buch
  • ISBN: 978-3-642-25031-6
  • Verlag: Springer
  • Erscheinungstermin: 28.10.2011
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2011
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 338 g
  • Seiten: 205
  • Format (B x H): 155 x 235 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber