ISBN10: 3540106995, ISBN13: 9783540106999, [publisher: Springer, Berlin] Softcover 492 Seiten Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/ Sprache: Englisch Gewicht in Gramm: 550
[Rüsselsheim am Main, Germany] [Publication Year: 1981]
Show/Hide image

Springer, Date: 1981-04-01. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. 1981. Springer ISBN 3540106995 9783540106999 [US]

ISBN10: 3540106995, ISBN13: 9783540106999, [publisher: Springer] Softcover Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
[Spring Branch, TX, U.S.A.] [Publication Year: 1981]

ISBN10: 3540106995, ISBN13: 9783540106999, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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 nonproc ...
Show/Hide image

ISBN10: 3540106995, ISBN13: 9783540106999, [publisher: Springer] Softcover
[Bayonne, NJ, U.S.A.] [Publication Year: 1981]
Show/Hide image

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings. ISBN 3540106995 9783540106999 [GB]

ISBN10: 3540106995, ISBN13: 9783540106999, [publisher: Springer 1981-04] Softcover
[Wallingford, United Kingdom] [Publication Year: 1981]