From Software Engineering to Formal Methods and Tools, and Back
Format: Paperback
ISBN13: 9783030309848
Paperback|9783030309848
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 3 offers from $47.08 FREE standard delivery by: 01 Apr 2026
Overview
This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,
The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.| ISBN-13 | 9783030309848 |
|---|---|
| ISBN-10 | 3030309843 |
| Weight | 1.80 Pounds |
| Dimensions | 6.10 x 1.33 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xiii, 574 pages |
| Publisher | Springer |
| Published On | 2019-09-14 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 01 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Comp...
Free delivery by: 01 Apr 2026
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 01 Apr 2026