- Sprache
-
Englisch
- Umfang
-
XI, 471 S.
- ISBN
-
978-3-642-15768-4
- Identifier
-
100545454X
- Reihe
-
Lecture notes in computer science; 6337 : Advanced research in computing and software science
Thema
Bug ; Softwaretest ; Codeoptimierung ; Abstrakte Interpretation ; Statische Analyse ; Datenfluss ; Kontrollfluss ; Konferenzschrift Perpignan; Kongress Perpignan <2010>
Beteiligte Personen und Organisationen
Cousot, Radhia
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:51 MESZ
Objekttyp
- Monografie
Beteiligte
- Cousot, Radhia
Ähnliche Objekte (12)
Static analysis : 18th international symposium ; proceedings
Static analysis : 19th international symposium ; proceedings
Modeling decisions for artificial intelligence : 7th international conference ; proceedings
Static analysis : 20th international symposium ; proceedings
Static analysis : 15th international symposium ; proceedings
Static analysis : 23rd international symposium, SAS 2016 Edinburgh, UK, September 8-10, 2016 : proceedings
Static analysis : 16th international symposium ; proceedings
Static analysis : 22nd international Symposium ; proceedings
Verification, model checking, and abstract interpretation : 14th international conference ; proceedings
Verification, model checking, and abstract interpretation : 16th international conference ; proceedings
Cellular automata : proceedings
Static analysis : 12th international symposium ; proceedings
Static analysis : 18th international symposium ; proceedings
Static analysis : 19th international symposium ; proceedings
Modeling decisions for artificial intelligence : 7th international conference ; proceedings
Static analysis : 20th international symposium ; proceedings
Static analysis : 15th international symposium ; proceedings
Static analysis : 23rd international symposium, SAS 2016 Edinburgh, UK, September 8-10, 2016 : proceedings
Static analysis : 16th international symposium ; proceedings
Static analysis : 22nd international Symposium ; proceedings
Verification, model checking, and abstract interpretation : 14th international conference ; proceedings
Verification, model checking, and abstract interpretation : 16th international conference ; proceedings
Cellular automata : proceedings
Static analysis : 12th international symposium ; proceedings
Static analysis : 18th international symposium ; proceedings
Static analysis : 19th international symposium ; proceedings
Modeling decisions for artificial intelligence : 7th international conference ; proceedings
Static analysis : 20th international symposium ; proceedings
Static analysis : 15th international symposium ; proceedings
Static analysis : 23rd international symposium, SAS 2016 Edinburgh, UK, September 8-10, 2016 : proceedings
Static analysis : 16th international symposium ; proceedings
Static analysis : 22nd international Symposium ; proceedings
Verification, model checking, and abstract interpretation : 14th international conference ; proceedings
Verification, model checking, and abstract interpretation : 16th international conference ; proceedings
Cellular automata : proceedings