Coverart for item
The Resource Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers, José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers, José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)

Label
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Title
Recent trends in algebraic development techniques
Title remainder
17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Statement of responsibility
José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
Title variation
WADT 2004
Creator
Contributor
Subject
Genre
Language
eng
Summary
"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
Member of
Cataloging source
GW5XE
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.754
LC item number
.W32 2004
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
WADT 2004
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1961-
http://library.link/vocab/relatedWorkOrContributorName
  • Fiadeiro, José Luiz
  • Mosses, Peter
  • Orejas, F.
Series statement
Lecture notes in computer science,
Series volume
3423
http://library.link/vocab/subjectName
  • Computer software
  • Computer science
  • Abstract data types (Computer science)
  • Logiciels
  • Informatique
  • Types abstraits de données (Informatique)
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Computer software
  • Computer science
  • Abstract data types (Computer science)
  • Informatique
  • Abstract data types (Computer science)
  • Computer science
  • Computer software
Label
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers, José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
Instantiates
Publication
Note
"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Preface
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
262680750
Dimensions
unknown
Extent
1 online resource (viii, 269 pages)
Form of item
online
Isbn
9783540253273
Lccn
2005922176
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9783540253273
  • 10.1007/b107129.
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-25327-3
Specific material designation
remote
System control number
(OCoLC)262680750
Label
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers, José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
Publication
Note
"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Preface
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
262680750
Dimensions
unknown
Extent
1 online resource (viii, 269 pages)
Form of item
online
Isbn
9783540253273
Lccn
2005922176
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9783540253273
  • 10.1007/b107129.
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-25327-3
Specific material designation
remote
System control number
(OCoLC)262680750

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...