Formal Methods for Real-Time and Probabilistic Systems
Editat de Jost-Pieter Katoenen Limba Engleză Paperback – 12 mai 1999
Preț: 325.83 lei
Preț vechi: 407.29 lei
-20%
Puncte Express: 489
Carte tipărită la comandă
Livrare economică 17-31 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540660101
ISBN-10: 3540660100
Pagini: 372
Ilustrații: X, 353 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.56 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540660100
Pagini: 372
Ilustrații: X, 353 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.56 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Computer VisionSimon J. D. Prince-20%Preț: 574.29 lei717.86 lei -
Enterprise Content and Search Management for Building Digital PlatformsShailesh Kumar Shivakumar-20%Preț: 500.03 lei625.04 lei -
Spock: Up and RunningRob Fletcher-20%Preț: 340.43 lei425.53 lei -
Tragic DesignJonathan Shariat-20%Preț: 181.81 lei227.26 lei -
Thoughtful Machine Learning with PythonMatthew Kirk-20%Preț: 244.61 lei305.76 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 250.24 lei312.80 lei -
Karau, H: High Performance SparkHolden Karau-20%Preț: 233.24 lei291.55 lei -
Practical TableauRyan Sleeper-20%Preț: 314.11 lei392.64 lei -
A Course in Mathematical CryptographyGilbert Baumslag-20%Preț: 326.52 lei408.15 lei -
LATIN '92Imre Simon-20%Preț: 335.69 lei419.61 lei -
Combinatorial Pattern MatchingDan Hirschberg-20%Preț: 327.69 lei409.62 lei -
-20%Preț: 332.39 lei415.48 lei -
Logic Program Synthesis and TransformationJohn Gallagher-20%Preț: 324.22 lei405.27 lei -
-20%Preț: 325.83 lei407.29 lei -
Computer Aided VerificationOrna Grumberg-20%Preț: 332.60 lei415.75 lei -
Graph-Theoretic Concepts in Computer ScienceRolf H. Möhring-20%Preț: 326.88 lei408.60 lei -
LATIN'98: Theoretical InformaticsClaudio L. Lucchesi-20%Preț: 327.92 lei409.89 lei
Public țintă
ResearchCuprins
Invited Lecture.- Fully Abstract Characterization of Probabilistic May Testing.- Verification of Probabilistic System.- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems.- Root Contention in IEEE 1394.- Model Checking Probabilistic Systems.- Automatic Verification of Real-Time Systems with Discrete Probability Distributions.- ProbVerus: Probabilistic Symbolic Model Checking.- Semantics of Probabilistic Process Calculi.- Process Algebra with Probabilistic Choice.- An Axiomatization of Probabilistic Testing.- Invited Lecture.- Verification of Hybrid Systems.- Semantics of Real-Time Processes.- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.- Comparing the Efficiency of Asynchronous Systems.- Real-Time Compilation.- A Formal Model of Real-Time Program Compilation.- Stochastic Process Algebra.- Specifying Performance Measures for PEPA.- Semi-numerical Solution of Stochastic Process Algebra Models.- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.- Invited Lecture.- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach.- Modeling and Verification of Real-Time Systems.- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal.- Verifying Progress in Timed Systems.- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.- Modelling Timeouts without Timelocks.