- 4 Ergebnisse
Kleinster Preis: € 83,29, größter Preis: € 85,59, Mittelwert: € 83,87
1
Recent Trends in Data Type Specification - Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Bestellen
bei Springer.com
€ 85,59
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Magne Haveraaen; Olaf Owe; Ole-Johan Dahl:

Recent Trends in Data Type Specification - neues Buch

ISBN: 9783540706427

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
2
Recent Trends in Data Type Specification - Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Bestellen
bei Springer.com
€ 83,29
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Magne Haveraaen; Olaf Owe; Ole-Johan Dahl:

Recent Trends in Data Type Specification - neues Buch

ISBN: 9783540706427

Computer Science; Theory of Computation; Software Engineering; Programming Languages, Compilers, Interpreters Abstract Data Types, Abstrakte Datentypen, Algebraic Specification, Algebrais… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Recent Trends in Data Type Specification - Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Bestellen
bei Springer.com
€ 83,29
Bestellen
Details und Versand
gesponserter Link
Magne Haveraaen; Olaf Owe; Ole-Johan Dahl:
Recent Trends in Data Type Specification - neues Buch

ISBN: 9783540706427

Computer Science; Theory of Computation; Software Engineering; Programming Languages, Compilers, Interpreters Abstract Data Types, Abstrakte Datentypen, Algebraic Specification, Algebrais… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Recent Trends in Data Type Specification - Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Bestellen
bei Springer.com
€ 83,29
Bestellen
Details und Versand
gesponserter Link
Magne Haveraaen; Olaf Owe; Ole-Johan Dahl:
Recent Trends in Data Type Specification - neues Buch

ISBN: 9783540706427

Computer Science; Theory of Computation; Software Engineering; Programming Languages, Compilers, Interpreters Abstract Data Types, Abstrakte Datentypen, Algebraic Specification, Algebrais… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Recent Trends in Data Type Specification
Autor:
Titel:
ISBN-Nummer:

9783540706427

Detailangaben zum Buch - Recent Trends in Data Type Specification


EAN (ISBN-13): 9783540706427
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2016-12-07T11:13:25+01:00 (Zurich)
Detailseite zuletzt geändert am 2021-07-13T23:14:45+02:00 (Zurich)
ISBN/EAN: 9783540706427

ISBN - alternative Schreibweisen:
978-3-540-70642-7

Daten vom Verlag:

Autor/in: Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Titel: Lecture Notes in Computer Science; Recent Trends in Data Type Specification - 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers
Verlag: Springer; Springer Berlin
558 Seiten
Erscheinungsjahr: 2005-07-07
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 558 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Abstract Data Types; Abstrakte Datentypen; Algebraic Specification; Algebraische Spezifikation; Formal Methods; Formale Methoden; Simulation; Swing; Term Rewriting; Termersetzung; design; functional programming; logic; polymorphism; programming; C; Theory of Computation; Software Engineering; Compilers and Interpreters; Computer Science; Software Engineering; Compiler und Übersetzer; BC

Seven years of COMPASS.- Inductively defined relations: A brief tutorial extended abstract.- On the role of category theory in the area of algebraic specifications.- Unification of theories: A challenge for computing science.- The larch shared language: Some open problems.- The lambda calculus as an abstract data type.- Unifying theories in different institutions.- Interchange format for inter-operability of tools and translation.- Experiments with partial evaluation domains for rewrite specifications.- Class-sort polymorphism in GLIDER.- Deontic concepts in the algebraic specification of dynamic systems: The permission case.- Reification — Changing viewpoint but preserving truth.- A category-based equational logic semantics to constraint programming.- Concurrent state transformations on abstract data types.- A view on implementing processes: Categories of circuits.- Combining algebraic and set-theoretic specifications.- Minimal term rewriting systems.- InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations.- Rewriting and reasoning with set-relations II: The non-ground case completeness.- Termination of curryfied rewrite systems.- Formal specifications and test: Correctness and oracle.- Behavioural equivalence, bisimulation, and minimal realisation.- Using limits of parchments to systematically construct institutions of partial algebras.- Behavioural specifications in type theory.- Swinging data types.- Context institutions.- Object-oriented functional programming and type reconstruction.- Moving between logical systems.- Modular algebraic specifications and the orientation of equations into rewrite rules.- A model for I/O in equational languages with don't care non-determinism.- Tool design for structuringmechanisms for algebraic specification languages with initial semantics.
< zum Archiv...