Refinement Techniques in Software Engineering

Name: Refinement Techniques in Software Engineering
Brand: Springer, Berlin
SKU: 9783540462538
Price: 298.4 RON
Availability: InStock

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

Autor: Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

298.40 lei

This tutorial book presents an augmented selection of the material presented at the First Pernambuco...

Informații despre carte

Autor

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2006

Pagini

396

EAN

9783540462538

ISBN

3540462538

Enbook ID

01564842

Editura

Springer, Berlin

Greutate

617

Dimensiuni

160 x 236 x 21

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Refinement Techniques in Software Engineering

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și