
Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings (Lecture Notes in Computer Science): 10th ... Notes in Computer Science, 2694, Band 2694)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
Das Buch "Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 2003 Proceedings" ist eine Sammlung von wissenschaftlichen Arbeiten, die im Rahmen des 10. Internationalen Symposiums über statische Analyse präsentiert wurden. Herausgegeben von Radhia Cousot, umfasst es verschiedene Beiträge von Forschern und Experten auf dem Gebiet der statischen Analyse. Die Themen reichen von theoretischen Aspekten bis hin zu praktischen Anwendungen und Werkzeugen zur Verbesserung der Software-Sicherheit und -Zuverlässigkeit. Das Buch bietet einen umfassenden Überblick über den Stand der Forschung im Jahr 2003 und dient als wertvolle Ressource für Wissenschaftler und Fachleute, die sich mit der Analyse und Optimierung von Computerprogrammen beschäftigen.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Kartoniert
- 1078 Seiten
- Erschienen 2001
- Springer
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
- paperback
- 356 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 813 Seiten
- Erschienen 2011
- Springer
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
- Kartoniert
- 551 Seiten
- Erschienen 1996
- Springer
- Kartoniert
- 729 Seiten
- Erschienen 2006
- Springer Berlin Heidelberg
- Kartoniert
- 218 Seiten
- Erschienen 2010
- Springer
- Kartoniert
- 375 Seiten
- Erschienen 2018
- Springer
- Hardcover
- 324 Seiten
- Erschienen 2002
- Springer
- paperback
- 228 Seiten
- Erschienen 2007
- Springer
- paperback
- 240 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 245 Seiten
- Erschienen 2011
- Springer