11 875 DA
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
Etat:
Neuf
Catégories:
Livres Technologie Scientifique
Publiée le:
30-03-2022 à 00:00:00
Annonces similaires
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 DA
Publisher .Turbulence Modes And Their Applications...
Volume 2, Second-moment closure, methodology and practice - Physical and analytical foundations, con...
ALGERIE
1 805 DA
Publisher .Statistical Physics I c31 phy.
Statistical Physics I discusses the fundamentals of equilibrium statistical mechanics, focussing on...
ALGERIE
7 410 DA
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 DA
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 DA
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 DA
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 DA
Publisher .Working Guide To Pumps And Pumping Stat...
Working Guide to Pumps and Pumping Stations: Calculations and Simulations discusses the application...
ALGERIE
5 510 DA
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 DA
Publisher Biomedical Instrumentation: Technology a...
This text rigorously covers the full range of biomedical instruments ranging from physiology and th...
ALGERIE
8 075 DA