Sandrine Blazy,
Thomas Jensen
Springer Berlin Heidelberg
e druk, 2015
9783662482872
Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Specificaties
Paperback, 320 blz.
|
Engels
Springer Berlin Heidelberg |
e druk, 2015
ISBN13: 9783662482872
Rubricering
Juridisch
:
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.
The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area
Specificaties
ISBN13:9783662482872
Taal:Engels
Bindwijze:paperback
Aantal pagina's:320
Uitgever:Springer Berlin Heidelberg
Hoofdrubriek:Programmeren, Computer en informatica
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht