5302452

9783540462538

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, Psse 2004; Receife, Brazil, November 23-december 5, 2004 Revised Lectures

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, Psse 2004; Receife, Brazil, November 23-december 5, 2004 Revised Lectures
$37.23
$3.95 Shipping
List Price
$69.95
Discount
46% Off
You Save
$32.72

  • Condition: New
  • Provider: Bookjunction Contact
  • Provider Rating:
    73%
  • Ships From: STERLING HEIGHTS, MI
  • Shipping: Standard
  • Comments: New, US edition. Satisfaction guaranteed!!

seal  

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9783540462538
  • ISBN: 3540462538
  • Publication Date: 2006
  • Publisher: Springer

AUTHOR

Cavalcanti, Ana, Sampaio, Augusto, Woodcock, Jim

SUMMARY

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 11 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the schoola?s attendees. The courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.Cavalcanti, Ana is the author of 'Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, Psse 2004; Receife, Brazil, November 23-december 5, 2004 Revised Lectures', published 2006 under ISBN 9783540462538 and ISBN 3540462538.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.