Zum Inhalt springen

Hoffmann, Berthold [Sonstige Person, Familie und Körperschaft]; Krieg-Brückner, Bernd [Sonstige Person, Familie und Körperschaft]

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1993

Erschienen in: Lecture notes in computer science ; 680
Krieg-Brückner, Bernd [HerausgeberIn]

Programmentwicklung durch Spezifikation und Transformation : Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: [Univ., Fachbereich Mathematik und Informatik], 19XX-

Erschienen in: Bericht / Universität Bremen, Fachbereich Mathematik und Informatik ; .
Hanus, Michael [HerausgeberIn] ; LOPSTR 18 2008 Valencia

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5438
Trapp, Martin [VerfasserIn]

Optimierung objektorientierter Programme : Übersetzungstechniken, Analysen und Transformationen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Xpert.press
Danvy, Olivier [HerausgeberIn] ; PADO 2 2001 Århus

Programs as data objects : second symposium, Aarhus, Denmark, May 21 - 23, 2001 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Lecture notes in computer science ; 2053
Darte, Alain [VerfasserIn]; Robert, Yves [VerfasserIn]; Vivien, Frédéric [VerfasserIn]

Scheduling and automatic parallelization

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; Berlin [u.a.]: Birkhäuser, 2000
Alpuente, María [HerausgeberIn] ; LOPSTR 20 2010 Hagenberg im Mühlkreis

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6564
Hu, Zhenjiang [HerausgeberIn] ; APLAS 7 2009 Seoul

Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5904
Shao, Zhong [HerausgeberIn] ; APLAS 5 2007 Singapur

Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4807
Kobayashi, Naoki [HerausgeberIn] ; APLAS 4 2006 Sydney

Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4279
Hankin, Chris [HerausgeberIn]; Siveroni, Igor [Sonstige Person, Familie und Körperschaft] ; SAS 12 2005 London

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3672
Yi, Kwangkeun [HerausgeberIn] ; SAS 13 2006 Seoul

Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4134
Cousot, Radhia [HerausgeberIn] ; SAS 10 2003 San Diego, Calif

Static analysis : 10th international symposium ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2694
Vollmer, Jürgen [VerfasserIn]

Analyse und Transformation kontrollflußparalleler Programme

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1996
Gehrmann, Uwe [VerfasserIn]

Eine Methode für Entwurf und Spezifikation von Protokollkonvertern

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Institut für Betriebssysteme & Rechnerverbund, 1994

Erschienen in: Hildesheimer Informatik-Berichte ; 94,8
Meertens, Lambert G. L. T. [HerausgeberIn] ; International Federation for Information Processing Working Group on Algol, Working Conference on Program Specification and Transformation 1986 Bad Tölz

Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15 - 17 April, 1986

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland, 1987
Stoyan, Herbert [VerfasserIn]

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1984

Erschienen in: Informatik-Fachberichte ; 91
Yang, Hongseok [HerausgeberIn] ; APLAS 9 2011 Kending

Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 7078
Krellner, Björn [Sonstige Person, Familie und Körperschaft] ; Deutschland Bundesministerium für Bildung und Forschung

Transformation monolithischer Business-Softwaresysteme in verteilte, workflowbasierte Client-Server-Architekturen : Schlussbericht BMBF-Verbundprojekt TransBS; gefördert durch das BMBF, Fördernummern 01 ISF 10 A/B/C

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Chemnitz: Techn. Univ. Chemnitz, Fakultät für Informatik, 2010

Erschienen in: Chemnitzer Informatik-Berichte ; 2010,03
Lämmel, Ralf [HerausgeberIn]; Visser, Joost [Sonstige Person, Familie und Körperschaft]; Saraiva, João [Sonstige Person, Familie und Körperschaft] ; GTTSE 2 2007 Braga

Generative and transformational techniques in software engineering II : international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 ; revised papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5235

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr