Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Formal Methods: Foundations and Applications

E-Book (pdf)
(0)
Erste Bewertung abgeben
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF...

CHF67.90

Download steht sofort bereit

E-Book (pdf)

Wird oft zusammen gekauft

Andere Kunden kauften auch

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:
Adenilso Simao
,
Carroll Morgan
EAN:
9783642250323
ISBN:
978-3-642-25032-3
Format:
E-Book (pdf)
Hersteller:
Springer Berlin Heidelberg
Herausgeber:
Springer-Verlag GmbH
Genre:
Programmiersprachen
Veröffentlichung:
10.11.2011
Digitaler Kopierschutz:
Wasserzeichen
Anzahl Seiten:
205
Jahr:
2015
Untertitel:
Englisch

Mehr entdecken: E-Books Englisch

Belletristik & Unterhaltung, Diverses, Essen & Trinken, Geisteswissenschaften, Kunst, Musik, IT & Internet, Kinder- und Jugendbücher, Naturwissenschaften, Medizin, Informatik, Technik, Ratgeber, Reise, Sachbuch, Schule und Lernen, Sozialwissenschaften, Recht, Wirtschaft