solr
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings

Katalog der UB Augsburg (1/1)

Speichern in:
Anzeige:
 

Programming languages and systems

22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings

Autor/Mitarbeiter: Felleisen, Matthias  
Verlagsort, Verlag, Jahr: Berlin [u.a.], Springer, 2013
Umfang: 1 Online-Ressource (X, 620 S.)
ISBN: 9783642370359 , 9783642370366
Schlagwörter: Programmiersprache , Formale Methode
Schlagwörter: Programmverifikation , Programmanalyse , Nebenläufigkeit , Programmierlogik , Softwaresystem , Model Checking
Inhaltstyp/Datenträger: Konferenzschrift
   
Reihe/Zeitschrift : Lecture notes in computer science  :  Alle Einzelbände
  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • zum Dokument
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor/Mitarbeiter: Felleisen, Matthias
Titel: Programming languages and systems
Titelzusatz: 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings
URL : http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026836...
Erläuterung: Verlag
von: Matthias Felleisen ...(eds.)
Verlagsort: Berlin [u.a.]
Verlag: Springer
Jahr: 2013
Umfang: 1 Online-Ressource (X, 620 S.)
Enthält: graph. Darst.
Reihe: Lecture notes in computer science
Band: 7792 : Advanced research in computing and software science
ISBN: 9783642370359
ISBN: 9783642370366
Schlagwörter Programmiersprache   Fragezeichen ; Formale Methode   Fragezeichen
Programmverifikation   Fragezeichen ; Programmanalyse   Fragezeichen ; Nebenläufigkeit ; Programmierlogik   Fragezeichen ; Softwaresystem   Fragezeichen ; Model Checking
Inhaltstyp/Datenträger: Konferenzschrift
_Zeit / Datum: 2013
_Veranstaltungsort: Rom
RVK-Notation:
Hauptsprache: Englisch
Land: |||d|| |o||||||||
Volltext : https://doi.org/10.1007/978-3-642-37036-6
URL Inhaltsverzeichnis: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026836...
B3Kat-ID: BV041388365