Securing the System: Formal Methods for Error-Free Software Naviya
Ø 0.0
0 Bewertungen
28,39 €
Titel: Securing the System: Formal Methods for Error-Free Software, Einband: Taschenbuch, Autor: Naviya, Verlag: Tredition, Sprache: Englisch, Seiten: 120, Maße: 234x155x9 mm, Gewicht: 216 g, Verkäufer: buch-mimpf, Schlagworte: Formal Verification Software Reliability Program Logic automated theorem proving model checking Static Program Analysis specification languages Fault Tolerance high-assurance software Critical Systems Development.
Jetzt bei Ebay:
-
Verlag:Tredition
-
Autor:Naviya
-
Seiten:120
-
Gewicht:216
-
Einband:Taschenbuch
-
Format:234x155x9 mm
-
Sprache:Englisch
-
Marke:Tredition
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Securing the System: Formal Methods for Error-Free Software
-
Erscheinungsjahr:20240621
-
Produktart:Bücher
-
Buchtitel:Securing the System: Formal Methods for Error-Free Software
-
Untertitel:Keine Angabe
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Securing the System: Formal Methods for Error-Free Software
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:Formal Verification Software Reliability Program Logic auto...
-
ISBN:9783384267894
-
Standardversand:DHL Kleinpaket kostenlos - Lieferung zwischen 25. June 2025 und 27. June 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 3,99 EUR - Lieferung zwischen 25. June 2025 und 27. 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
![Produktbild - Securing E-Business Systems: A Guide for Managers and Executives [Hardback]](https://i.ebayimg.com/thumbs/images/g/VDsAAeSwN~poKXZ4/s-l140.jpg)
