ESC/ Java, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
29,00 €
Variante
ESC/Java ist ein Fachbuch, das sich mit dem Extended Static Checker für die Programmiersprache Java beschäftigt. Dieses Werkzeug zielt darauf ab, häufige Laufzeitfehler in Java-Programmen durch statische Analyse des Programmcodes zu identifizieren. ESC/Java, das ursprünglich 1997 am Compaq Systems Research Center entwickelt wurde, nutzt die Java Modeling Language (JML) in seinen neueren Versionen. Die Benutzer haben die Möglichkeit, den Umfang und die Art der Überprüfungen zu steuern, indem sie ihre Programme mit speziell formatierten Kommentaren oder Pragmas annotieren. Das Buch bietet eine umfassende Einführung in die Funktionsweise und Anwendung von ESC/Java und ist eine wertvolle Ressource für Programmierende, die ihre Kenntnisse in der statischen Codeanalyse vertiefen möchten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
