Вы здесь

Главная

непротиворечивость

Связанные издания:

Connectivity of workflow nets: the foundations of stepwise verification
Consistency in Software System Development: Framework, Model, Techniques and Tools
Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases
Formal Approaches to Agent-Based Systems: Revised Selected Papers/Third International Workshop, FAABS 2004. Greenbelt, MD, USA, April 2004
Formal Proof from UML Models
Generic Forward and Backward Simulations
Hoare Logic in the Abstract
How to Find his Way in the Jungle of Consistency Criteria for Distributed Objects Memories (or how to Escape from Minos Labyrinth)
Inconsistency Management for Multiple-View Software Development Environments
Iteration in discrete time stochastic Petri box calculus
Memory Consistency Models
Rapid Aplication of Lightweight Formal Methods for Consistency Analyses
Общая теория систем: Математические основы
Семантика языков программирования