Cantitate/Preț
Produs
Total produse
Vezi coșul
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers de Hans-Jörg Kreowski

Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers: Informatik-Fachberichte, cartea 116

Editat de Hans-Jörg Kreowski
en Limba Engleză Paperback – 1986

Din seria Informatik-Fachberichte

Preț: 32024 lei

Preț vechi: 40030 lei
-20%

Puncte Express: 480

Carte tipărită la comandă

Livrare economică 17-31 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540160779
ISBN-10: 3540160779
Pagini: 268
Ilustrații: VII, 253 p. 5 illus.
Greutate: 0.43 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.