Weiter zum Inhalt
CAVAL Home
  • Start Over
  • Ihr Konto
  • Log out
  • Login
  • Sprache
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Erweitert
  • Static analysis :
  • Zitieren
  • SMS versenden
  • Als E-Mail versenden
  • Drucken
  • Datensatz exportieren
    • Exportieren nach RefWorks
    • Exportieren nach EndNoteWeb
    • Exportieren nach EndNote
  • Zu den Favoriten
  • Persistenter Link
Static analysis : third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings /

Static analysis : third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings /

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Workshop on Static Analysis Padova, Italy
Weitere Verfasser: Cousot, Patrick, 1948-
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; New York : Springer-Verlag, c1993.
Schriftenreihe:Lecture notes in computer science ; 724.
Schlagworte:
Computer programming > Congresses.
Programming languages (Electronic computers) > Congresses.
  • Exemplare
  • Beschreibung
  • Internformat
Beschreibung
Beschreibung:ix, 283 p. : ill. ; 24 cm.
ISBN:0387572643
3540572643

Ähnliche Einträge

  • Static analysis : ... International Static Analysis Symposium, SAS ... : proceedings.
    Veröffentlicht: (1994)
  • Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings /
    Veröffentlicht: (1993)
  • Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings /
    Veröffentlicht: (1996)
  • Language hierarchies and interfaces : international summer school /
    Veröffentlicht: (1976)
  • Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
    Veröffentlicht: (1979)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map