Dependable Software Engineering. Theories, Tools, and Applications Nan Guan
Ø 0.0
0 Bewertungen
53,49 €
Titel: Dependable Software Engineering. Theories, Tools, and Applications, Untertitel: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, Einband: Taschenbuch, Autor: Nan Guan, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 156, Maße: 235x155x9 mm, Gewicht: 248 g, Verkäufer: buch-mimpf, Schlagworte: Data Security Embedded Systems Real Time Systems Security Systems Software Engineering Software Evaluation formal logic formal methods formal verifications model checking parallel processing systems problem solving safety critical systems theorem proving.
Jetzt bei Ebay:
-
Seiten:156
-
Gewicht:248
-
Einband:Taschenbuch
-
Marke:Springer International Publishing, Springer Nature Switzerland
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Dependable Software Engineering. Theories, Tools, and Applicat...
-
Buchtitel:Dependable Software Engineering. Theories, Tools, and Applicat...
-
Untertitel:5th International Symposium, SETTA 2019, Shanghai, China, Nove...
-
Film-/Fernseh-Titel:Keine Angabe
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:Data Security Embedded Systems Real Time Systems Security S...
-
ISBN:9783030355395
-
Reihe:Programming And Software Engineering
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2019
-
Anzahl der Seiten:156 Seiten
-
Autor:Nan Guan, Joost-Pieter Katoen, Jun Sun
-
Verlag:Springer International Publishing
-
Publikationsname:Dependable Software Engineering. Theories, Tools, And Applications
-
Sprache:Englisch
-
Standardversand:DHL Kleinpaket kostenlos - Lieferung zwischen 30. May 2025 und 03. June 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 3,99 EUR - Lieferung zwischen 30. May 2025 und 03. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere
