Filtre: Ferruccio Damiani

Cărți editura Springer

Integrated Formal Methods

Editat de Ferruccio Damiani et al.

16 noi 2025

Preț: 461^.76 lei 577^.20 lei

22-36 zile

-20%

Types for Proofs and Programs

Editat de Stefano Berardi et al.

15 iun 2004

Preț: 328^.49 lei 410^.62 lei

43-57 zile

-20%

Formal Verification of Object-Oriented Software

Editat de Bernhard Beckert et al.

19 iul 2012

Preț: 292^.91 lei 366^.13 lei

43-57 zile

-20%

Formal Methods for Executable Software Models

Lecture Notes in Computer Science, nr. 8483

Editat de Marco Bernardo et al.

21 mai 2014

Preț: 337^.80 lei 422^.24 lei

43-57 zile

-20%

Formal Methods for Components and Objects

Editat de Bernhard Beckert et al.

3 ian 2013

Preț: 325^.63 lei 407^.04 lei

43-57 zile

-20%