2009 24th Annual IEEE Symposium on Logic in Computer Science : LICS 2009 ; Los Angeles, California, USA, 11 - 14 August 2009

2009 24th Annual IEEE Symposium on Logic in Computer Science LICS 2009 ; Los Angeles, California, USA, 11 - 14 August 2009

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Piscataway, NJ IEEE 2009
Schlagworte:
Konferenzschrift > Informatik > Logik
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Co-located with the 16th International Static Analysis Symposium (SAS 2009)
Parallel als Online-Ausg. erschienen
Beschreibung:XIII, 440 Seiten
graphische Darstellungen
ISBN:9781424446452
978-1-4244-4645-2