Domain application-engineer.de kaufen?
Wir ziehen mit dem Projekt
application-engineer.de um.
Sind Sie am Kauf der Domain
application-engineer.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain application-engineer.de kaufen?
Ähnliche Suchbegriffe für Springer-Concise-Guide-to
Top-Angebote
Produkte zum Begriff Springer-Concise-Guide-to:
Concise Guide to Software Verification, Fachbücher von Anton Wijs, Marieke Huisman
Der "Concise Guide to Software Verification" ist ein umfassendes Lehrbuch, das sich mit den formalen Methoden und Techniken zur Verifizierung der Korrektheit von Software beschäftigt. Es bietet einen Überblick über verschiedene Ansätze, die es den Nutzenden ermöglichen, die zu überprüfenden Eigenschaften aktiv zu steuern. Das Buch behandelt ein breites Spektrum von Techniken, die von der abstrakten Systemgestaltung bis hin zur Implementierung reichen. Es deckt sowohl die Fehlersuche als auch vollständige Beweise ab und bietet sowohl benutzerfreundliche als auch komplexere Ansätze, die eine gezielte Anleitung erfordern. Die zahlreichen Beispiele im Buch veranschaulichen die Anwendung der Techniken und deren zugrunde liegende Konzepte, was es zu einer wertvollen Ressource für Studierende und Fachleute macht.
64,19 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Springer-Concise-Guide-to:
Ähnliche Suchbegriffe für Springer-Concise-Guide-to
-
Concise Guide to Software Verification, Fachbücher von Anton Wijs, Marieke HuismanDer "Concise Guide to Software Verification" ist ein umfassendes Lehrbuch, das sich mit den formalen Methoden und Techniken zur Verifizierung der Korrektheit von Software beschäftigt. Es bietet einen Überblick über verschiedene Ansätze, die es den Nutzenden ermöglichen, die zu überprüfenden Eigenschaften aktiv zu steuern. Das Buch behandelt ein breites Spektrum von Techniken, die von der abstrakten Systemgestaltung bis hin zur Implementierung reichen. Es deckt sowohl die Fehlersuche als auch vollständige Beweise ab und bietet sowohl benutzerfreundliche als auch komplexere Ansätze, die eine gezielte Anleitung erfordern. Die zahlreichen Beispiele im Buch veranschaulichen die Anwendung der Techniken und deren zugrunde liegende Konzepte, was es zu einer wertvollen Ressource für Studierende und Fachleute macht.64,19 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.