Copied From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
This volume was published in honor of Stefania Gnesis 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Microentrepreneurship in a Developing Country
$179.99
BOB Books: More Beginning Readers
$17.99
Structural Phase Transitions II
$54.99
Introduction to Turkish Labour Law
$99.99
Topics on the Dynamics of Civil Structures, Volume 1
$219.99
Rural-Urban Migration in Vietnam
$169.99
Gastric Carcinoma
$109.99
Graph Drawing and Network Visualization
$54.99
Photosynthesis Research Protocols
$109.00
Bild/Text Text/Bild
$59.99
Clinical efficacy of positron emission tomography
$39.99
Lake Champlain: Partnerships and Research in the New Millennium
$169.99
PySpark SQL Recipes
$44.99
Hegels Staatsidee
$44.99
Gender, Work and Community After De-Industrialisation
$39.99
Windeinwirkung auf Brcken
$54.99
Ethics and Cultural Policy in a Global Economy
$54.99
Kommentar zum Arzneimittelgesetz (AMG)
$129.00
Social Responses to Technical Systems
$169.99
Formal Methods for Software Engineering
$44.99
Drug Delivery in Cancer Treatment III
$84.99
The Arrhythmic Patient in the Emergency Department
$99.00
LitCamp Silver Bunk Grades 7-8
$975.00
Fictional Discourse and Historical Space
$19.99
Human Dimensions of Wildlife Management in Japan
$169.99
Database Security XII
$129.00
Charlie & Mouse: Charlie & Mouse & Grumpy
$5.96
Influence of Traffic and Land Use on Urban Stormwater Quality
$39.99
Teacher Success Kit Grade 3: Tier 2
$1,333.47
George Eliot and Victorian Historiography
$109.99
Gleitlager, Konstruktive Gestaltung, Betriebsverhalten von Reibungssystemen, Dieselmotoren (Lebensda
$84.99
Computer Vision - ACCV'98
$84.99
Regional Representations in the EU: Between Diplomacy and Interest Mediation
$39.99
Reading Thomas Hardy
$109.99
Handelsrecht
$59.99
Nanostructured Films and Coatings
$109.99
Die ffnung des Staates
$64.99
Solid Earth Geomagnetism
$109.99
Topics in Cryptology -- CT-RSA 2003
$39.99
Marx @ 2000
$109.99
