Cărți de Ana Cavalcanti

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ț: 328^.93 lei 411^.17 lei

3-5 săpt.

-20%

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6255

Editat de Ana Cavalcanti et al.

11 aug 2010

Preț: 333^.78 lei 417^.23 lei

3-5 săpt.

-20%

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Lecture Notes in Computer Science, nr. 14573

Editat de Dirk Beyer et al.

6 apr 2024

Preț: 351^.83 lei

6-8 săpt.

Software Engineering for Robotics

Editat de Ana Cavalcanti et al.

6 iul 2021

Preț: 762^.88 lei 953^.60 lei

6-8 săpt.

-20%

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10471

Editat de Laure Petrucci et al.

25 aug 2017

Preț: 324^.71 lei 405^.89 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5885

Editat de Karin Breitman et al.

17 noi 2009

Preț: 657^.79 lei 822^.24 lei

6-8 săpt.

-20%

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5850

Editat de Ana Cavalcanti et al.

26 oct 2009

Preț: 661^.05 lei 826^.31 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Lecture Notes in Computer Science, nr. 4281

Editat de Kamel Barkaoui et al.

30 oct 2006

Preț: 331^.86 lei 414^.82 lei

6-8 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ț: 333^.47 lei 416^.84 lei

6-8 săpt.

-20%