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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Maintenance Theory of Reliability
$169.99
Chinese Culture in the 21st Century and its Global Dimensions
$69.99
Systeme in Szene gesetzt
$49.99
Domain Decomposition Methods in Science and Engineering XIX
$109.99
Heat Pump Controls to Exploit the Energy Flexibility of Building Thermal Loads
$169.99
Dynamics of Satellites / Dynamique des Satellites
$39.99
The Perils of Populism
$139.99
Polymer Blends and Composites
$39.99
Soft Computing Models in Industrial and Environmental Applications, 5th International Workshop (SOCO
$129.00
Trainingshandbuch Recherche
$37.99
Problems in the Theory of Knowledge / Problmes de la thorie de la connaissance
$109.99
Qualitative Analysis and Control of Complex Neural Networks with Delays
$109.99
Digital Capital
$129.99
Policy Instruments for Sound Fiscal Policies
$84.99
Wrme- und Stofftransport
$59.99
Magnetic Monopole Noise
$109.99
Ecology and Biogeography of High Altitude Insects
$219.99
Ernhrungsempfehlungen fr Krebskranke in Behandlung
$84.99
Response of Different Species to Total Body Irradiation
$39.99
Commonsense Pluralism about Truth
$59.99
Reform der Rechnungslegung und Corporate Governance in Deutschland und Europa
$79.99
Software-Ergonomie 91
$69.95
Vom Zhlen zum Rechnen
$84.99
English for Presentations at International Conferences
$34.99
Das Kontroll- und Transparenzgesetz
$69.99
Kosten- und Leistungsrechnung im Industriebetrieb
$59.99
Participation in Child Protection
$84.99
Handbook of Ceramic Composites
$449.99
Environmental Microbiology: Fundamentals and Applications
$159.99
Modular Multilevel Converters with Interleaved Half-Bridge Submodules
$109.00
Supply Chain Sourcing
$69.99
Bioprocessing
$129.00
Auditory Prostheses
$169.99
Gibt es eine marxistische Soziologie?
$59.99
Ir Genes
$169.99
New Horizons of Quantum Chemistry
$169.00
Salben Puder Externa
$59.99
Political Change in Post-Communist Slovakia and Croatia: From Nationalist to Europeanist
$39.99
Customer Value, Shareholder Wealth, Community Wellbeing
$37.99
Communicating Political Humor in the Media
$159.99
