Filtre: Calculatoare şi IT

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ț: 316^.97 lei 396^.22 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ț: 321^.66 lei 402^.08 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ț: 339^.08 lei

6-8 săpt.

Software Engineering for Robotics

Editat de Ana Cavalcanti et al.

6 iul 2021

Preț: 734^.95 lei 918^.69 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ț: 312^.91 lei 391^.14 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ț: 633^.74 lei 792^.17 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ț: 636^.87 lei 796^.09 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ț: 319^.80 lei 399^.75 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ț: 321^.35 lei 401^.69 lei

6-8 săpt.

-20%