Static analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings

Static analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SAS Saint-Malo (VerfasserIn)
Weitere Verfasser: Blazy, Sandrine (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin, Heidelberg Springer [2015]
Ausgabe:1st ed.
Schriftenreihe:Lecture Notes in Computer Science 9291
Schlagworte:
Computer science
Software engineering
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Computer Science
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Informatik
Statische Analyse
Konferenzschrift > 09.09.2015-11.09.2015 > Saint-Malo
Online-Zugang:Volltext
Abstract
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Volltext
Abstract

Ähnliche Einträge