Type	Name	Date	Provided By
eBooks	Formal Development of Reactive Systems Case Study Production Cell	01-01-2025	ebooks1001
eBooks	Time Structures Formal Description and Algorithmic Representation	27-12-2024	ebooks1001
eBooks	The B Language and Method A Guide to Practical Formal Development	27-12-2024	ebooks1001
eBooks	Formal Systems Specification The RPC-Memory Specification Case Study	25-12-2024	ebooks1001
eBooks	Formal Modelling in Electronic Commerce	24-12-2024	ebooks1001
eBooks	Formal Modeling and Analysis of Timed Systems First International Work	24-12-2024	ebooks1001
eBooks	Formal Engineering for Industrial Software Development Using the SOFL	24-12-2024	ebooks1001
eBooks	Applying Formal Methods Testing, Performance, and ME-Commerce FORTE 20	24-12-2024	ebooks1001
eBooks	Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6	24-12-2024	ebooks1001
eBooks	Artificial Neural Networks Formal Models and Their Applications –	24-12-2024	ebooks1001
eBooks	Leveraging Applications of Formal Methods First International Symposiu	20-12-2024	ebooks1001
eBooks	Agent Technology from a Formal Perspective	20-12-2024	ebooks1001
eBooks	Introduction to the Theory of Formal Languages	16-12-2024	ebooks1001
eBooks	Formal Refinement for Operating System Kernels	16-12-2024	ebooks1001
eBooks	Web Services and Formal Methods 9th International Workshop, WS-FM 2012	15-12-2024	ebooks1001
eBooks	Formal Methods for Dynamical Systems 13th International School on Form	15-12-2024	ebooks1001
eBooks	Formal Methods for Components and Objects 10th International Symposium	13-12-2024	ebooks1001
eBooks	Formal Aspects of Component Software 9th International Symposium, FACS	11-12-2024	ebooks1001
eBooks	Integrated Formal Methods 10th International Conference, IFM 2013, Tur	10-12-2024	ebooks1001
eBooks	Leveraging Applications of Formal Methods, Verification and Validation	08-12-2024	ebooks1001