X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Online-Ressource
    Online-Ressource
    Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings (1981)
    Berlin u.a. : Springer
    Details
    UID:
    b3kat_BV036033688
    Umfang: 1 Online-Ressource (VII,478 S. , graph.Darst.)
    ISBN: 3540106995 , 0387106995
    Serie: Lecture notes in computer science 107
    Sprache: Englisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    QH 500
    RVK:
    SS 4800
    Schlagwort(e): Programmierung ; Konferenzschrift ; Konferenzschrift
    DOI: 10.1007/3-540-10699-5
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Mehr zum Autor: Díaz, Josep 1950-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    Stabi Berlin
    UB Potsdam
    EUV Frankfurt
    HTW Berlin
    TH Wildau
    BTU Cottbus
  • 2
    Buch
    Buch
    Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings (1981)
    Berlin u.a. :Springer,
    Details
    UID:
    almafu_BV001997348
    Umfang: VII,478 S. : graph.Darst.
    ISBN: 3-540-10699-5 , 0-387-10699-5
    Serie: Lecture notes in computer science 107
    Sprache: Französisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    QH 500
    RVK:
    SS 4800
    Schlagwort(e): Programmierung ; Konferenzschrift ; Konferenzschrift
    Mehr zum Autor: Díaz, Josep 1950-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    HU Berlin get availability status
    FU Berlin get availability status
  • 3
    Online-Ressource
    Online-Ressource
    Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (1981)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186247102883
    Umfang: 1 online resource (X, 486 p.)
    Ausgabe: 1st ed. 1981.
    Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38654-8
    Serie: Lecture Notes in Computer Science, 107
    Anmerkung: Bibliographic Level Mode of Issuance: Monograph , The algebra of functional programs: Function level reasoning, linear equations, and extended definitions -- The VDM principles of software specification & program design -- Attribute grammars : Theory and applications -- Compiler generation from formal definition of programming languages : A survey -- Formal behavioural specification of concurrent systems without globality assumptions -- A birkhoff-like theorem for algebraic classes of interpretations of program schemes -- Building data base management systems through formal specification -- Reducing types in applicative languages with structured data -- On the definition of lambda-calculus models -- About data type genericity -- On the algebraic extensions of abstract data types -- Scenarios: A model of non-determinate computation -- An operational semantics for a language with early completion data structures -- Le calcul des fermetures dans les lambda-langages -- Distributed termination with interval assertions -- Algebraic denotational semantics using parameterized abstract modules -- Relational semantics of strongly communicating sequential processes -- A construction of concurrent systems by means of sequential solutions and concurrency relations -- The development of an interpreter by means of abstract algebraic software specifications -- A formal model of an interpreter for nonprocedural languages -- Proof theoretic methodology for propositional dynamic logic -- FP systems in edinburgh LCF -- A proposal for operational semantics and equivalence of finite asynchronous processes -- An extension to horn clause logic allowing the definition of concurrent processes -- A semantic algebra for binding constructs -- On the representation of data types -- An approach to communications and parallelism in applicative languages -- Using least fixed points to characterize formal computations of non-deterministic equations -- Formal representations for recursively defined functional programs -- Petri nets and concurrency-like relations. , English
    In: Springer eBooks
    Weitere Ausg.: ISBN 3-540-10699-5
    Sprache: Englisch
    DOI: 10.1007/3-540-10699-5
    URL: http://dx.doi.org/10.1007/3-540-10699-5
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    FU Berlin
    Charité
  • 4
    Online-Ressource
    Online-Ressource
    Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (1981)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_164919840X
    Umfang: Online-Ressource
    ISBN: 9783540386544
    Serie: Lecture Notes in Computer Science 107
    Weitere Ausg.: ISBN 9783540106999
    Weitere Ausg.: Buchausg. u.d.T. Formalization of programming concepts Berlin [u.a.] : Springer, 1981 ISBN 3540106995
    Weitere Ausg.: ISBN 0387106995
    Sprache: Englisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    QH 500
    RVK:
    SS 4800
    Schlagwort(e): Programmierung ; Konferenzschrift
    DOI: 10.1007/3-540-10699-5
    URL: Volltext
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    Stabi Berlin
  • 5
    Buch
    Buch
    Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings (1981)
    Berlin u.a. : Springer
    Details
    UID:
    b3kat_BV001997348
    Umfang: VII,478 S. , graph.Darst.
    ISBN: 3540106995 , 0387106995
    Serie: Lecture notes in computer science 107
    Sprache: Französisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    QH 500
    RVK:
    SS 4800
    Schlagwort(e): Programmierung ; Konferenzschrift
    Mehr zum Autor: Díaz, Josep 1950-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    TU Berlin get availability status
  • 6
    Online-Ressource
    Online-Ressource
    Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (1981)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186247102883
    Umfang: 1 online resource (X, 486 p.)
    Ausgabe: 1st ed. 1981.
    Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38654-8
    Serie: Lecture Notes in Computer Science, 107
    Anmerkung: Bibliographic Level Mode of Issuance: Monograph , The algebra of functional programs: Function level reasoning, linear equations, and extended definitions -- The VDM principles of software specification & program design -- Attribute grammars : Theory and applications -- Compiler generation from formal definition of programming languages : A survey -- Formal behavioural specification of concurrent systems without globality assumptions -- A birkhoff-like theorem for algebraic classes of interpretations of program schemes -- Building data base management systems through formal specification -- Reducing types in applicative languages with structured data -- On the definition of lambda-calculus models -- About data type genericity -- On the algebraic extensions of abstract data types -- Scenarios: A model of non-determinate computation -- An operational semantics for a language with early completion data structures -- Le calcul des fermetures dans les lambda-langages -- Distributed termination with interval assertions -- Algebraic denotational semantics using parameterized abstract modules -- Relational semantics of strongly communicating sequential processes -- A construction of concurrent systems by means of sequential solutions and concurrency relations -- The development of an interpreter by means of abstract algebraic software specifications -- A formal model of an interpreter for nonprocedural languages -- Proof theoretic methodology for propositional dynamic logic -- FP systems in edinburgh LCF -- A proposal for operational semantics and equivalence of finite asynchronous processes -- An extension to horn clause logic allowing the definition of concurrent processes -- A semantic algebra for binding constructs -- On the representation of data types -- An approach to communications and parallelism in applicative languages -- Using least fixed points to characterize formal computations of non-deterministic equations -- Formal representations for recursively defined functional programs -- Petri nets and concurrency-like relations. , English
    In: Springer eBooks
    Weitere Ausg.: ISBN 3-540-10699-5
    Sprache: Englisch
    DOI: 10.1007/3-540-10699-5
    URL: http://dx.doi.org/10.1007/3-540-10699-5
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    FU Berlin
  • 7
    Online-Ressource
    Online-Ressource
    Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (1981)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186247102883
    Umfang: 1 online resource (X, 486 p.)
    Ausgabe: 1st ed. 1981.
    Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38654-8
    Serie: Lecture Notes in Computer Science, 107
    Anmerkung: Bibliographic Level Mode of Issuance: Monograph , The algebra of functional programs: Function level reasoning, linear equations, and extended definitions -- The VDM principles of software specification & program design -- Attribute grammars : Theory and applications -- Compiler generation from formal definition of programming languages : A survey -- Formal behavioural specification of concurrent systems without globality assumptions -- A birkhoff-like theorem for algebraic classes of interpretations of program schemes -- Building data base management systems through formal specification -- Reducing types in applicative languages with structured data -- On the definition of lambda-calculus models -- About data type genericity -- On the algebraic extensions of abstract data types -- Scenarios: A model of non-determinate computation -- An operational semantics for a language with early completion data structures -- Le calcul des fermetures dans les lambda-langages -- Distributed termination with interval assertions -- Algebraic denotational semantics using parameterized abstract modules -- Relational semantics of strongly communicating sequential processes -- A construction of concurrent systems by means of sequential solutions and concurrency relations -- The development of an interpreter by means of abstract algebraic software specifications -- A formal model of an interpreter for nonprocedural languages -- Proof theoretic methodology for propositional dynamic logic -- FP systems in edinburgh LCF -- A proposal for operational semantics and equivalence of finite asynchronous processes -- An extension to horn clause logic allowing the definition of concurrent processes -- A semantic algebra for binding constructs -- On the representation of data types -- An approach to communications and parallelism in applicative languages -- Using least fixed points to characterize formal computations of non-deterministic equations -- Formal representations for recursively defined functional programs -- Petri nets and concurrency-like relations. , English
    In: Springer eBooks
    Weitere Ausg.: ISBN 3-540-10699-5
    Sprache: Englisch
    DOI: 10.1007/3-540-10699-5
    URL: http://dx.doi.org/10.1007/3-540-10699-5
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    Charité
  • 8
    Buch
    Buch
    Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings ; [International Colloquium on the Formalization of Programming Concepts, ICFPC] (1981)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_023861800
    Umfang: VII, 478 S. , graph. Darst.
    ISBN: 3540106995 , 0387106995
    Serie: Lecture notes in computer science 107
    Anmerkung: Literaturangaben
    Weitere Ausg.: Online-Ausg. Formalization of programming concepts Berlin [u.a.] : Springer, 1981 ISBN 9783540386544
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Diaz, J. Formalization of Programming Concepts Berlin, Heidelberg : Springer Berlin Heidelberg, 1981 ISBN 9783540386544
    Sprache: Englisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    QH 500
    RVK:
    SS 4800
    Schlagwort(e): Programmierung ; Konferenzschrift ; Konferenzschrift
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    Stabi Berlin get availability status
  • 9
    Online-Ressource
    Online-Ressource
    Formalization of Programming Concepts : International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings (1981)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920852102882
    Umfang: X, 486 p. , online resource.
    ISBN: 9783540386544
    Serie: Lecture Notes in Computer Science, 107
    Anmerkung: The algebra of functional programs: Function level reasoning, linear equations, and extended definitions -- The VDM principles of software specification & program design -- Attribute grammars : Theory and applications -- Compiler generation from formal definition of programming languages : A survey -- Formal behavioural specification of concurrent systems without globality assumptions -- A birkhoff-like theorem for algebraic classes of interpretations of program schemes -- Building data base management systems through formal specification -- Reducing types in applicative languages with structured data -- On the definition of lambda-calculus models -- About data type genericity -- On the algebraic extensions of abstract data types -- Scenarios: A model of non-determinate computation -- An operational semantics for a language with early completion data structures -- Le calcul des fermetures dans les lambda-langages -- Distributed termination with interval assertions -- Algebraic denotational semantics using parameterized abstract modules -- Relational semantics of strongly communicating sequential processes -- A construction of concurrent systems by means of sequential solutions and concurrency relations -- The development of an interpreter by means of abstract algebraic software specifications -- A formal model of an interpreter for nonprocedural languages -- Proof theoretic methodology for propositional dynamic logic -- FP systems in edinburgh LCF -- A proposal for operational semantics and equivalence of finite asynchronous processes -- An extension to horn clause logic allowing the definition of concurrent processes -- A semantic algebra for binding constructs -- On the representation of data types -- An approach to communications and parallelism in applicative languages -- Using least fixed points to characterize formal computations of non-deterministic equations -- Formal representations for recursively defined functional programs -- Petri nets and concurrency-like relations.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540106999
    Sprache: Englisch
    DOI: 10.1007/3-540-10699-5
    URL: http://dx.doi.org/10.1007/3-540-10699-5
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 10
    Online-Ressource
    Online-Ressource
    Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (1981)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621597202882
    Umfang: X, 486 p. , online resource.
    Ausgabe: 1st ed. 1981.
    ISBN: 9783540386544
    Serie: Lecture Notes in Computer Science, 107
    Anmerkung: The algebra of functional programs: Function level reasoning, linear equations, and extended definitions -- The VDM principles of software specification & program design -- Attribute grammars : Theory and applications -- Compiler generation from formal definition of programming languages : A survey -- Formal behavioural specification of concurrent systems without globality assumptions -- A birkhoff-like theorem for algebraic classes of interpretations of program schemes -- Building data base management systems through formal specification -- Reducing types in applicative languages with structured data -- On the definition of lambda-calculus models -- About data type genericity -- On the algebraic extensions of abstract data types -- Scenarios: A model of non-determinate computation -- An operational semantics for a language with early completion data structures -- Le calcul des fermetures dans les lambda-langages -- Distributed termination with interval assertions -- Algebraic denotational semantics using parameterized abstract modules -- Relational semantics of strongly communicating sequential processes -- A construction of concurrent systems by means of sequential solutions and concurrency relations -- The development of an interpreter by means of abstract algebraic software specifications -- A formal model of an interpreter for nonprocedural languages -- Proof theoretic methodology for propositional dynamic logic -- FP systems in edinburgh LCF -- A proposal for operational semantics and equivalence of finite asynchronous processes -- An extension to horn clause logic allowing the definition of concurrent processes -- A semantic algebra for binding constructs -- On the representation of data types -- An approach to communications and parallelism in applicative languages -- Using least fixed points to characterize formal computations of non-deterministic equations -- Formal representations for recursively defined functional programs -- Petri nets and concurrency-like relations.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662195109
    Weitere Ausg.: Printed edition: ISBN 9783540106999
    Sprache: Englisch
    DOI: 10.1007/3-540-10699-5
    URL: https://doi.org/10.1007/3-540-10699-5
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 3503106995?
Meinten Sie 3540002995?
Meinten Sie 354006995x?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz