Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods: Foundations and Applications

  • Kartonierter Einband
  • 205 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF ... Weiterlesen
20%
72.00 CHF 57.60
Sie sparen CHF 14.40
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Up-to-date results

Fast track conference proceedings

State-of-the-art report

Produktinformationen

Titel: Formal Methods: Foundations and Applications
Untertitel: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Editor:
EAN: 9783642250316
ISBN: 3642250319
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Anzahl Seiten: 205
Gewicht: 334g
Größe: H237mm x B159mm x T15mm
Jahr: 2011
Untertitel: Englisch
Auflage: 2011

Weitere Produkte aus der Reihe "Programming and Software Engineering"