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

Formal Methods: Foundations and Applications

  • E-Book (pdf)
  • 205 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 67.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
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.

Produktinformationen

Titel: Formal Methods: Foundations and Applications
Untertitel: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Editor:
EAN: 9783642250323
ISBN: 978-3-642-25032-3
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Herausgeber: Springer-Verlag GmbH
Genre: IT & Internet
Veröffentlichung: 10.11.2011
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 3.24 MB
Anzahl Seiten: 205
Jahr: 2015

Weitere Bände aus der Buchreihe "Programming and Software Engineering"