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

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 202

Ø 0.0

0 Bewertungen

68,50 €

Subtitle 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings. Specification and Modeling Languages. - A Haskell-embedded DSL for Secure Information-flow. - CSP Specification and Verification of a Relay-Based Rail Interlocking System.

Jetzt bei Ebay:

Zum Angebot *

Format:

Paperback
ISBN-13:

9783031493416
Author:

Haniel Barbosa, Yoni Zohar
Book Title:

Formal Methods: Foundations and Applications
ISBN:

9783031493416

None:

International Standard : tracked-no signature (7 to 15 business days) 16,14 EUR - Lieferung zwischen 27. May 2025 und 05. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Afghanistan , Armenien , ... und weitere

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 202

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 202

Voices of Old Testament Prophets 26th Annual Sidney B Sperry Symposium LDS 1997

Neurosteroids and Brain Function (Fidia Research Foundation Symposium Series, ..

Art And Architecture A Symposium Hosted By The Chinati Foundation (1998)

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 202

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 202

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 202

Formal Methods: Foundations and Applications - 9783031224751

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, Ap

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newca

Formal Methods for Components and Objects: Third International Symposium, FMCO 2

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Os

Formal Methods: Foundations and Applications - 9783030921361

Advances in Bioinformatics and Computational Biology: 14th Brazilian Symposium o

Foundations of Intelligent Systems: 10th International Symposium, ISMIS '97. Cha

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilto

Foundations of Intelligent Systems: 9th International Symposium, ISMIS'96, Zakop

Mathematical Foundations of Computer Science 2008: 33rd International Symposium,

Fatigue Crack Propagation. ASTM Special Publication No 415. A Symposium presente

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 202

Ähnliche Artikel

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 202

Voices of Old Testament Prophets 26th Annual Sidney B Sperry Symposium LDS 1997

Neurosteroids and Brain Function (Fidia Research Foundation Symposium Series, ..

Art And Architecture A Symposium Hosted By The Chinati Foundation (1998)

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 202

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 202

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 202

Formal Methods: Foundations and Applications - 9783031224751

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, Ap

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newca

Formal Methods for Components and Objects: Third International Symposium, FMCO 2

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Os

Formal Methods: Foundations and Applications - 9783030921361

Advances in Bioinformatics and Computational Biology: 14th Brazilian Symposium o

Foundations of Intelligent Systems: 10th International Symposium, ISMIS '97. Cha

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilto

Foundations of Intelligent Systems: 9th International Symposium, ISMIS'96, Zakop

Mathematical Foundations of Computer Science 2008: 33rd International Symposium,

Fatigue Crack Propagation. ASTM Special Publication No 415. A Symposium presente

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9

Cookie Hinweis