Filtre:

Cărți de Mariëlle Stoelinga

Formal Methods for Industrial Critical Systems

Editat de Mariëlle Stoelinga et al.

17 iul 2012

Preț: 291^.69 lei 364^.60 lei

43-57 zile

-20%

Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science, nr. 11750

Editat de Étienne André et al.

13 aug 2019

Preț: 323^.17 lei 403^.96 lei

43-57 zile

-20%

Fundamental Approaches to Software Engineering

Lecture Notes in Computer Science, nr. 12649

Editat de Esther Guerra et al.

20 mar 2021

Preț: 299^.26 lei 374^.07 lei

43-57 zile

-20%

A Journey from Process Algebra via Timed Automata to Model Learning

Lecture Notes in Computer Science, nr. 13560

Editat de Nils Jansen et al.

7 sep 2022

Preț: 337^.30 lei 421^.62 lei

43-57 zile

-20%

Quantitative Evaluation of Systems

Editat de Kaustubh Joshi et al.

7 aug 2013

Preț: 328^.29 lei 410^.37 lei

43-57 zile

-20%

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 8453

Editat de Anne Remke et al.

31 oct 2014

Preț: 319^.42 lei 399^.28 lei

43-57 zile

-20%