11 875 دج
This title is devoted to presenting some of the most important concepts and techniques for describing real–time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real–time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With
الحالة:
Neuf
الفئات:
أخرى
وضع في:
30-03-2022 à 00:00:00
إعلانات مشابهة
Publisher .Hydrogeology and Ground water Modeling...
The inclusion of step-by-step solutions to real problems builds a knowledge base for understanding a...
ALGERIE
7 505 دج
Publisher .Turbulence Modes And Their Applications...
Volume 2, Second-moment closure, methodology and practice - Physical and analytical foundations, con...
ALGERIE
1 805 دج
Publisher .Statistical Physics I c31 phy.
Statistical Physics I discusses the fundamentals of equilibrium statistical mechanics, focussing on...
ALGERIE
7 410 دج
Publisher .Robust Filtering for Uncertain Systems:...
This monograph provides the reader with a systematic treatment of robust filter design, a key issue...
ALGERIE
7 600 دج
Publisher .Hydrology and Hydraulic Systems c34 phy...
Comprehensive and up-to-date, this newly revised Third Edition extends the tradition of excellence e...
ALGERIE
9 599 دج
Publisher .Planning And Installing Bioenergy Syste...
Bioenergy is relied upon worldwide as a modern solution for local energy supply and waste managemen...
ALGERIE
11 400 دج
Publisher .Selection Of Polymeric Materials C36 Ph...
Today engineers, designers, buyers and all those who have to work with plastics face a dilemma. Ther...
ALGERIE
14 820 دج
Publisher .Working Guide To Pumps And Pumping Stat...
Working Guide to Pumps and Pumping Stations: Calculations and Simulations discusses the application...
ALGERIE
5 510 دج
Publisher .Composite Materials: Engineering and Sc...
The purpose of this wide-ranging introductory textbook is to provide a basic understanding of the un...
ALGERIE
5 035 دج
Publisher Biomedical Instrumentation: Technology a...
This text rigorously covers the full range of biomedical instruments ranging from physiology and th...
ALGERIE
8 075 دج