Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2010
Genre:	EDV / Informatik
	C / Compiler und Übersetzer / Compilers & interpreters / Computer architecture & logic design / Computer logic / Computer programming / Computer programming / software engineering / computer science / Computerprogrammierung und Softwareentwicklung / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Mathematical theory of computation / Operating systems / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems / Theory of Computation mehr...
ISBN:	9783642162640
EAN-Code:	9783642162640
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#6396 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H / B / D
Gewicht:	528 gr
Seiten:	337
Illustration:	X, 337 p. 110 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

On Model Checking Techniques for Randomized Distributed Systems.- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.- Programming with Miracles.- An Event-B Approach to Data Sharing Agreements.- A Logical Framework to Deal with Variability.- Adding Change Impact Analysis to the Formal Verification of C Programs.- Creating Sequential Programs from Event-B Models.- Symbolic Model-Checking of Optimistic Replication Algorithms.- From Operating-System Correctness to Pervasively Verified Applications.- A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs.- Verification Architectures: Compositional Reasoning for Real-Time Systems.- Automatic Verification of Parametric Specifications with Complex Topologies.- Satisfaction Meets Expectations.- Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.- Specification and Verification of Model Transformations Using UML-RSDS.- Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.- Translating Pi-Calculus into LOTOS NT.- Systematic Translation Rules from astd to Event-B.- A CSP Approach to Control in Event-B.- Towards Probabilistic Modelling in Event-B.- Safe Commits for Transactional Featherweight Java.- Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.- Integrating Implicit Induction Proofs into Certified Proof Environments.