Książka Refinement Techniques in Software Engineering Ana Cavalcanti

Refinement Techniques in Software Engineering

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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
240.06
This tutorial book presents an augmented selection of the material presented at the First Pernambuco...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2006
strony
396
EAN
9783540462538
ISBN
3540462538
Enbook ID
01564842
Waga
617
Wymiary
160 x 236 x 21

Pełny opis

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.

Możesz być zainteresowany

Silence Is-Deadly

William A Kolliker
59.91

Making Our Beasts

Elana Shever
169.15

Real Analysis

Gerald B. Folland
506.29
43.47

Artist

Michel Hazanavicius
39.19
131.89

Law Without Lawyers

Henry Bascom Corey
113.70
555.41

Uncompahgre Plateau Gmu [Map Pack Bundle]

National Geographic Maps - Trails Illust
91.82

The Asiatics

Frederic Prokosch
85.88
240.06
91.04

Tim Burton

Bert Cardullo
112.73

Brat

Ruth A Rouff
55.73

Teaching Math to Maddox

Leonard Greenberg
64.68

Report of the Bank Commissioners

Massachusetts Bank Commissioners
126.15
53.00

Klienci, którzy kupili tę książkę, kupili również

Verfahrenspraxis EPÜ und PCT

Leopold Joachim Gruner
384.70
45.81
121.77