Guide to Software Verification with Frama-C Nikolai Kosmatov
Ø 0.0
0 Bewertungen
69,54 €
Titel: Guide to Software Verification with Frama-C, Untertitel: Core Components, Usages, and Applications, Einband: Buch, Autor: Nikolai Kosmatov, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 724, Maße: 241x160x45 mm, Gewicht: 1238 g, Verkäufer: buch-mimpf, Schlagworte: Analysis C Specification kernel programming language runtime verification.
Jetzt bei Ebay:
-
Verlag:Springer International Publishing, Springer Nature Switzerland
-
Autor:Nikolai Kosmatov
-
Seiten:724
-
Gewicht:1238
-
Einband:Buch
-
Format:241x160x45 mm
-
Sprache:Englisch
-
Marke:Springer International Publishing, Springer Nature Switzerland
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Guide to Software Verification with Frama-C
-
Erscheinungsjahr:20240710
-
Produktart:Bücher
-
Buchtitel:Guide to Software Verification with Frama-C
-
Untertitel:Core Components, Usages, and Applications
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Guide to Software Verification with Frama-C
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:Analysis C Specification kernel programming language runt...
-
ISBN:9783031556074
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 22. July 2025 und 29. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere
