Recent Trends in Algebraic Development Techniques (Record no. 34096)

000 -LEADER
fixed length control field 03797nam a22005895i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540400202
-- 978-3-540-40020-2
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1015113
245 10 - TITLE STATEMENT
Title Recent Trends in Algebraic Development Techniques
Sub Title 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
Statement of responsibility, etc edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 2003.
300 ## - PHYSICAL DESCRIPTION
Number of Pages VIII, 464 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Technical Papers -- AGILE: Software Architecture for Mobility -- A Coinductive Calculus of Component Connectors -- An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint -- MultiMedia Instruction in Safe and Secure Systems -- Invited Non-technical Papers -- Zero, Connected, Empty -- Zero, Connected, Empty: An Essay after a Cantata -- Contributed Papers -- Type Checking Parametrised Programs and Specifications in ASL?+?FPC -- Pre-nets, Read Arcs and Unfolding: A Functorial Presentation -- Coreflective Concurrent Semantics for Single-Pushout Graph Grammars -- Completeness Results for Fibred Parchments -- Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs -- Conditional Circular Coinductive Rewriting with Case Analysis -- Verifying Generative Casl Architectural Specifications -- Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens -- The Coinductive Approach to Verifying Cryptographic Protocols -- Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages -- Approach-Independent Structuring Concepts for Rule-Based Systems -- Notions of Behaviour and Reachable-Part and Their Institutions -- Combining Specification Formalisms in the ‘General Logic’ of Multialgebras -- On How Distribution and Mobility Interfere with Coordination -- Foundations of Heterogeneous Specification -- Algebraic-Coalgebraic Specification in CoCasl -- Translating Logics for Coalgebras -- Presenting and Combining Inference Systems -- Monad-Independent Dynamic Logic in HasCasl -- Preserving Properties in System Redesign: Rule-Based Approach.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Algebra
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logics and Meanings of Programs.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science, general.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Mathematical Logic and Formal Languages.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Symbolic and Algebraic Manipulation.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wirsing, Martin.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pattinson, Dirk.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hennicker, Rolf.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/b94458
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2003.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK4802 http://dx.doi.org/10.1007/b94458 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha