Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
Categorical Semantics, Or Extending Data Types to Include Memory.- Algebraic (?) Specification of Conceptual Database Schemata.- OBSCURE, A New Specification Language.- Some Thoughts on Algebraic Specification.- Implementation Specifications.- The ASSPEGIQUE Specification Environment - Motivations and Design.- Towards Abstract User Interfaces for Formal System Specifications.- A Final Algebra Semantics for Errors and Exceptions.- OSI Transport Service Considered as an Abstract Data Type.- Observational Specification: A Birkhoff-Theorem.- Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence.- Transformation of Interface Specifications.- Axiomatising Specification Theory.- On the Algebraic Specification of Domains.- Passing Compatibility is Almost Persistency.- Automatic Prototyping of Algebraic Specifications Using Prolog.- Error Handling for Parameterized Data Types.- Model Theory of Denotational Semantics.
Categorical Semantics, Or Extending Data Types to Include Memory.- Algebraic (?) Specification of Conceptual Database Schemata.- OBSCURE, A New Specification Language.- Some Thoughts on Algebraic Specification.- Implementation Specifications.- The ASSPEGIQUE Specification Environment - Motivations and Design.- Towards Abstract User Interfaces for Formal System Specifications.- A Final Algebra Semantics for Errors and Exceptions.- OSI Transport Service Considered as an Abstract Data Type.- Observational Specification: A Birkhoff-Theorem.- Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence.- Transformation of Interface Specifications.- Axiomatising Specification Theory.- On the Algebraic Specification of Domains.- Passing Compatibility is Almost Persistency.- Automatic Prototyping of Algebraic Specifications Using Prolog.- Error Handling for Parameterized Data Types.- Model Theory of Denotational Semantics.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
