Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.9526 (PDF)
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
(Sprache: Englisch)
This book constitutes revised selected papers from the
18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo
Horizonte, Brazil, in September 2015.
The 11 papers presented in this volume were...
18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo
Horizonte, Brazil, in September 2015.
The 11 papers presented in this volume were...
sofort als Download lieferbar
eBook (pdf)
Fr. 47.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.9526 (PDF)“
This book constitutes revised selected papers from the
18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo
Horizonte, Brazil, in September 2015.
The 11 papers presented in this volume were carefully
reviewed and selected from 25 submissions. They were organized in topical
sections named: model checking; languages and semantics; refinement and
verification; testing and evaluation.
Bibliographische Angaben
- 2016, 1st ed. 2016, 195 Seiten, Englisch
- Herausgegeben: Márcio Cornélio, Bill Roscoe
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319294733
- ISBN-13: 9783319294735
- Erscheinungsdatum: 23.01.2016
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 15 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.9526"
0 Gebrauchte Artikel zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.9526“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.9526".
Kommentar verfassen