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
Water and Food Security in Central Asia
$129.00
Acoustic Metamaterials
$169.99
The Natural and Societal Challenges of the Northern Sea Route
$219.99
Hygiene bei der Entsorgung von Siedlungsabfllen
$44.99
Management geschftsbereichsbergreifender Innovationsvorhaben
$59.99
Cambridge Economics in the Post-Keynesian Era
$169.99
Mining and Quarrying in the Ancient Andes
$84.99
Conceptual Modeling
$54.99
Housing Markets in Europe
$169.99
Test Policy in Defense
$84.99
Gesundheitskonomik
$34.99
From Keynes to Piketty
$24.99
Caesarius von Arles und die Juden
$49.99
Die Mechernicher Triasbucht
$59.99
Die ffentlichen Gelder im Deutschen Reich
$59.99
Antitumor Potential and other Emerging Medicinal Properties of Natural Compounds
$169.99
From Geometry to Quantum Mechanics
$109.99
Experimentelle Entwicklungsforschung im besonderen an Amphibien
$49.99
Dampfkessel-Speisepumpen
$79.99
Scholarpedia of Touch
$149.00
ber die Wirkung der arsenigen Sure auf die Zahnpulpa
$54.99
Bioremediation of Selenium Contaminated Wastewater
$109.99
Compression Wood in Gymnosperms
$549.99
Bridging Clauses in European Constitutional Law
$54.99
Animal Imaging
$279.99
Estimation of Disequilibrium Models
$54.99
Nationalkonomie, wohin?
$59.99
A Chinese Perspective on WTO Reform
$139.00
Nitric Oxide and Free Radicals in Peripheral Neurotransmission
$129.00
The Legal System of Art Auction in China
$159.99
Whiteness, Class and the Legacies of Empire
$59.99
Fortschritte der Satellitengeodsie. Mikrobiologie im Zeitalter der Genomforschung
$59.99
Business Intelligence for New-Generation Managers
$39.99
Visualization of Hydrogen-Bond Dynamics
$109.99
Hybrid Classifiers
$109.99
Multicriteria Analysis in Finance
$39.99
Measuring Arthropod Biodiversity
$199.99
Proceedings of the 24th International Symposium on Advancement of Construction Management and Real E
$329.99
Scholar Zone Extended Learning Math Grade 4
$580.00
Fhrungs- und Organisationsverantwortung bei Mobbing
$17.99
