Filtre: Paperback

Cărți de Dominique Méry

Rigorous State-Based Methods

Lecture Notes in Computer Science, nr. 14010

Editat de Uwe Glässer et al.

15 mai 2023

Preț: 491^.66 lei 614^.57 lei

43-57 zile

-20%

Integrated Formal Methods

Editat de Dominique Méry et al.

6 oct 2010

Preț: 324^.61 lei 405^.76 lei

43-57 zile

-20%

Model and Data Engineering

Lecture Notes in Computer Science, nr. 11163

Editat de El Hassan Abdelwahed et al.

13 sep 2018

Preț: 330^.15 lei 412^.69 lei

43-57 zile

-20%

Rigorous State-Based Methods

Lecture Notes in Computer Science, nr. 12071

Editat de Alexander Raschke et al.

15 mai 2020

Preț: 329^.35 lei 411^.69 lei

43-57 zile

-20%

Rigorous State-Based Methods

Lecture Notes in Computer Science, nr. 12709

Editat de Alexander Raschke et al.

23 mai 2021

Preț: 370^.90 lei 463^.62 lei

43-57 zile

-20%

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Editat de Yamine Aït-Ameur et al.

29 iul 2021

Preț: 618^.10 lei 772^.63 lei

43-57 zile

-20%