Filtre:

Cărți de Ahmed Bouajjani

Computer Aided Verification

Editat de Ahmed Bouajjani et al.

19 iun 2009

Preț: 646^.42 lei 808^.02 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 13505

Editat de Ahmed Bouajjani et al.

23 oct 2022

Preț: 462^.84 lei 578^.54 lei

22-36 zile | 6-12 zile

-20%

Networked Systems

Lecture Notes in Computer Science, nr. 9466

Editat de Ahmed Bouajjani et al.

24 mar 2016

Preț: 335^.26 lei 419^.08 lei

43-57 zile

-20%

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science, nr. 10145

Editat de Ahmed Bouajjani et al.

12 ian 2017

Preț: 336^.49 lei 420^.61 lei

43-57 zile

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science, nr. 10321

Editat de Ahmed Bouajjani et al.

28 mai 2017

Preț: 320^.14 lei 400^.17 lei

43-57 zile

-20%