Cărți de Augusto Sampaio

Formal Methods

Lecture Notes in Computer Science, nr. 16557

Editat de Augusto Sampaio et al.

5 aug 2026

Preț: 331^.26 lei 414^.07 lei

3-5 săpt.

-20%

Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Lecture Notes in Computer Science, nr. 6153

Editat de Paulo Borba et al.

30 iul 2010

Preț: 321^.81 lei 402^.26 lei

3-5 săpt.

-20%

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Lecture Notes in Computer Science, nr. 3167

Editat de Ana Cavalcanti et al.

27 sep 2006

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Unifying Theories of Programming

Lecture Notes in Computer Science, nr. 11885

Editat de Pedro Ribeiro et al.

12 sep 2019

Preț: 331^.42 lei 414^.27 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing - ICTAC 2016

Lecture Notes in Computer Science, nr. 9965

Editat de Augusto Sampaio et al.

22 sep 2016

Preț: 345^.68 lei 432^.09 lei

6-8 săpt.

-20%