Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Reps, Thomas (BerichterstatterIn), Wilhelm, Reinhard (GefeierteR), Sagiv, Mooly (BerichterstatterIn), Bauer, Jörg (BerichterstatterIn), Reps, Thomas W. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2007
Schriftenreihe:	Lecture notes in computer science 4444 : Festschrift
Schlagworte:	Wilhelm, R > Computer programs > Verification > Compilers (Computer programs) > Computer programming > Konferenzschrift > Festschrift > Übersetzerbau > Systemanalyse > Programmierung > Formale Methode > Programmiersprache > Statische Analyse > Kontrollfluss > Datenfluss > Programmanalyse > Sicherheitsprotokoll > Kryptologie
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext Table of contents only Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!