Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2003
Genre:	EDV / Informatik
	C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer Science, general / Computer science—Mathematics / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Mathematik für Informatiker / Maths for computer scientists / Operating systems / Software Engineering / Software Engineering/Programming and Operating Systems / Symbolic and Algebraic Manipulation / Theoretische Informatik mehr...
ISBN:	9783540205371
EAN-Code:	9783540205371
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2755 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1450 gr
Seiten:	464
Illustration:	VIII, 464 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.