• Medientyp: Buch; Konferenzbericht
  • Titel: Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings
  • Beteiligte: Barthe, Gilles [Hrsg.]
  • Veranstaltung: ESOP ETAPS
  • Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
  • Erschienen in: Lecture notes in computer science ; 6602
  • Umfang: XIV, 500 S.; graph. Darst; 235 mm x 155 mm
  • Sprache: Englisch
  • ISBN: 9783642197178; 3642197175
  • Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80040761
  • RVK-Notation: SS 4800 : Lecture notes in computer science
  • Schlagwörter: Programmiersprache > Formale Methode
    Programmverifikation > Programmanalyse > Softwaresystem > Model Checking
  • Entstehung:
  • Anmerkungen: Literaturangaben
  • Weitere Bestandsnachweise
    0 : Lecture notes in computer science

Exemplare

(0)
  • Signatur: R2017 8 1786
  • Barcode: 32992013
  • Status: Ausleihbar, bitte bestellen