libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

fiadeiro josé luiz (curatore); mosses peter (curatore); orejas fernando (curatore) - recent trends in algebraic development techniques

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

; ;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 03/2005
Edizione: 2005





Trama

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.
The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.




Sommario

Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures.- Contributed Papers.- Modelling Mobility with Petri Hypernets.- Cryptomorphisms at Work.- Towards a Formal Specification of an Electronic Payment System in CSP-CASL.- Algebraic Semantics of Design Abstractions for Context-Awareness.- CCC – The Casl Consistency Checker.- Ontologies for the Semantic Web in Casl.- Theoroidal Maps as Algebraic Simulations.- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.- A Simple Refinement Language for Casl.- A Distributed and Mobile Component System Based on the Ambient Calculus.- Application and Formal Specification of Sorted Term-Position Algebras.- From Conditional to Unconditional Rewriting.- Type Class Polymorphism in an Institutional Framework.- Architectural Specifications for Reactive Systems.










Altre Informazioni

ISBN:

9783540253273

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 229 x 152 mm
Formato: Brossura
Illustration Notes:VIII, 280 p.
Pagine Arabe: 280
Pagine Romane: viii


Dicono di noi