Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juni 2019
Genre:	EDV / Informatik
	CASL / communicatingfinitestatemachines / Event-B / FuzzyLogics / graphtransformation / Maude / MMT / moduleparameterization / modulesystems / Neural-symbolicintegration / refinement / relationaldatabases / Service-orientedComputing / SRML / staticanalysis / temporallogics mehr...
ISBN:	9783030232191
EAN-Code:	9783030232191
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#11563 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 11 mm
Gewicht:	295 gr
Seiten:	188
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Role-based Development of Dynamically Evolving Esembles.- Parameterized Strategies Specication in Maude.- An Algebraic Theory for Data Linkage.- Institutions for SQL Database Schemas and Datasets.- Finite Limits and Anti-Unication in Substitution Categories.- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs.- Term Charters.- Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories.- Structuring Theories with Implicit Morphisms.