SFr. 69.00
€ 74.52
BTC 0.0012
LTC 0.912
ETH 0.023


bestellen

Artikel-Nr. 4786277


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:


Herausgeber: 
  • Hanne Riis Nielson
  • Gilberto Filé
  • Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!


    Übersicht

    Auf mobile öffnen
     
    Lieferstatus:   i.d.R. innert 5-10 Tagen versandfertig
    Veröffentlichung:  August 2007  
    Genre:  EDV / Informatik 
    ISBN:  9783540740605 
    EAN-Code: 
    9783540740605 
    Verlag:  Springer Berlin Heidelberg 
    Einband:  Kartoniert  
    Sprache:  English  
    Serie:  #4634 - Lecture Notes in Computer Science
    Programming and Software Engineering  
    Dimensionen:  H 235 mm / B 155 mm / D 27 mm 
    Gewicht:  733 gr 
    Seiten:  488 
    Zus. Info:  Paperback 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22¿24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¿ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support.

      
     Empfehlungen... 
     Static Analysis: 9th International Symposium, SAS - (Buch)
     Static Analysis: 19th International Symposium, SAS - (Buch)
     Static Analysis and Verification of Aerospace Soft - (Buch)
     Static Analysis of Actors by Abstract Interpretati - (Buch)
     Static Analysis: 10th International Symposium, SAS - (Buch)
     Static Analysis of Software: The Abstract Interpre - (Buch)
     Static Analysis: 23rd International Symposium, SAS - (Buch)
     Static Analysis: 7th International Symposium, SAS - (Buch)
     Static Analysis: Third International Symposium, SA - (Buch)
     Static Analysis: 11th International Symposium, SAS - (Buch)
     Weitersuchen in   DVD/FILME   CDS   GAMES   BÜCHERN   



    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2024
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2024
    Jetzt auch mit BitCoin bestellen!