Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneid

Ø 0.0

0 Bewertungen

67,31 €

By Klaus Schneider. Most results are given with detailed proofs, so that the presentation is almost self-contained. Then the author introduces what he calls a unified specification language, which is propositional u-calculus based on Kripke structure simulation, bisimulation and also quotient structures and products of Kripke structures.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783642055553
Book Title:

Verification of Reactive Systems
ISBN:

9783642055553

None:

International Standard : tracked-no signature (7 to 15 business days) 36,67 EUR - Lieferung zwischen 07. July 2025 und 15. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Kambodscha , Costa Rica , ... und weitere

Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneid

Guide to Medical Image Analysis: Methods and Algorithms by Toennies, Klaus D.

Reactive Systems: Modelling, Specification And Verification By Luca Aceto

Circuit Simulation Methods and Algorithms by Ogrodzki, Jan; Ogrodzki Jan

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su

Data Mining: Concepts, Models, Methods, and Algorithms by Kantardzic, Mehmed

Direct Methods for Sparse Linear Systems (Fundamentals of Algorithms, Series Nu,

Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf

New Data Structures and Algorithms for Logic Synthesis and Verification by Luca

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of T

Numerical Methods of Exploration Seismology: With Algorithms in MATLAB(R) by Gar

Guide to Medical Image Analysis: Methods and Algorithms by Klaus D. Toennies (En

Formal Specification Level: Concepts, Methods, and Algorithms

Numerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphic

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Quantum Environmental Science: Harnessing Q# to Revolutionize Algorithms & Model

Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli

Numerical Methods of Exploration Seismology: With Algorithms in MATLAB(R) by Gar

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasio

Operations research handbook: Standard algorithms and methods with examples by H

Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneid

Ähnliche Artikel

Guide to Medical Image Analysis: Methods and Algorithms by Toennies, Klaus D.

Reactive Systems: Modelling, Specification And Verification By Luca Aceto

Circuit Simulation Methods and Algorithms by Ogrodzki, Jan; Ogrodzki Jan

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su

Data Mining: Concepts, Models, Methods, and Algorithms by Kantardzic, Mehmed

Direct Methods for Sparse Linear Systems (Fundamentals of Algorithms, Series Nu,

Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf

New Data Structures and Algorithms for Logic Synthesis and Verification by Luca

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of T

Numerical Methods of Exploration Seismology: With Algorithms in MATLAB(R) by Gar

Guide to Medical Image Analysis: Methods and Algorithms by Klaus D. Toennies (En

Formal Specification Level: Concepts, Methods, and Algorithms

Numerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphic

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Quantum Environmental Science: Harnessing Q# to Revolutionize Algorithms & Model

Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli

Numerical Methods of Exploration Seismology: With Algorithms in MATLAB(R) by Gar

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasio

Operations research handbook: Standard algorithms and methods with examples by H

Cookie Hinweis