Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Software Engineering and Formal Methods

53,49 €*

Versandkostenfrei

Produktnummer: 18e4e3f82ed4dc40eabd1ae5bffde730b9
Themengebiete: artificial intelligence computer software selection and evaluation data security distributed computer systems formal methods formal specification hardware model checker model checking problem solving
Veröffentlichungsdatum: 15.08.2017
EAN: 9783319661964
Sprache: Englisch
Seitenzahl: 410
Produktart: Kartoniert / Broschiert
Herausgeber: Cimatti, Alessandro Sirjani, Marjan
Verlag: Springer International Publishing
Untertitel: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Produktinformationen "Software Engineering and Formal Methods"
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen