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

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th Internatio

Ø 0.0

0 Bewertungen

69,20 €

I:Selection of Papers Presented at 5thSPIN99. - Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. - Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540664994
Book Title:

Theoretical and Practical Aspects of SPIN Model Checking
ISBN:

9783540664994

None:

International Standard : tracked-no signature (7 to 15 business days) 34,12 EUR - Lieferung zwischen 23. May 2025 und 03. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th Internatio

Theoretical and practical aspects of non-formal education by Tulebike Alimzhanov

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Borde

Cross-cultural Design. Cultural Differences in Everyday Life : 5th Internatio...

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 5th Internatio

Cross-cultural Design. Cultural Differences in Everyday Life : 5th Internatio...

Intensive Family Therapy : Theoretical and Practical Aspects RARE FIRST EDITION

Special Functions: Group Theoretical Aspects and Applications Askey Koornwinder

Practical and Theoretical Implications of Successfully Doing Difference in Orga

Monoclonal Antibodies in Biotechnology: Theoretical and Practical Aspects by Ken

Mathematical Problems in Theoretical Physics: Proceedings of the VIth Internatio

Integral Methods in Science and Engineering: Theoretical and Practical Aspects b

Rational Decisions in Organisations: Theoretical and Practical Aspects by Fr?d?r

From Data to Knowledge: Theoretical and Practical Aspects of Classification, Dat

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Ist

Special Functions: Group Theoretical Aspects and Applications by R.A. Askey

SEO Basics (Hands-on Theory And Practice): Theoretical and Practical Aspects of

Practical and Theoretical Aspects of Geological Interpretation of Gravitational,

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, Jun

Stress Response Mechanisms in Fungi: Theoretical and Practical Aspects by Marek

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th Internatio

Ähnliche Artikel

Theoretical and practical aspects of non-formal education by Tulebike Alimzhanov

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Borde

Cross-cultural Design. Cultural Differences in Everyday Life : 5th Internatio...

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 5th Internatio

Cross-cultural Design. Cultural Differences in Everyday Life : 5th Internatio...

Intensive Family Therapy : Theoretical and Practical Aspects RARE FIRST EDITION

Special Functions: Group Theoretical Aspects and Applications Askey Koornwinder

Practical and Theoretical Implications of Successfully Doing Difference in Orga

Monoclonal Antibodies in Biotechnology: Theoretical and Practical Aspects by Ken

Mathematical Problems in Theoretical Physics: Proceedings of the VIth Internatio

Integral Methods in Science and Engineering: Theoretical and Practical Aspects b

Rational Decisions in Organisations: Theoretical and Practical Aspects by Fr?d?r

From Data to Knowledge: Theoretical and Practical Aspects of Classification, Dat

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Ist

Special Functions: Group Theoretical Aspects and Applications by R.A. Askey

SEO Basics (Hands-on Theory And Practice): Theoretical and Practical Aspects of

Practical and Theoretical Aspects of Geological Interpretation of Gravitational,

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, Jun

Stress Response Mechanisms in Fungi: Theoretical and Practical Aspects by Marek

Cookie Hinweis