Refinement Techniques in Software Engineering
(häftad)First Pernambuco Summer School on Software Engineering, Psse 2004 Recife, Brazil, November 23-December 5, 2004 Revised Lectures
av Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Bloggar
- Format:
- Häftad (paperback)
- Utgiven:
- 2006-09-01
- Språk:
- Engelska
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.
(Bookdata)
Fler böcker av författarna
|
|
|
|
|||
Theoretical Aspectsof Computing -Ictac 2006Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (häftad) |
FM 2009: Formal MethodsAna Cavalcanti, Dennis Dams (häftad) |
Formal Methods and Software EngineeringKarin Breitman, Ana Cavalcanti (häftad) |
Theoretical Aspects of ComputingAna Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (häftad) | |||
|
544:- Köp
|
1045:- Köp
|
978:- Köp
|
535:- Köp
|
Kundrecensioner
Bli först med att recensera och betygsätt boken Refinement Techniques in Software Engineering -
du kan vinna 200 kr varje månad i tävlingen "Månadens recension".
