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
Up in the Garden and Down in the Dirt
$5.96
Technology Education for Teachers
$49.99
Handbuch der gefhrlichen Gter. Band 10: Ergnzungslieferung, Dezember 2023
$149.99
Lines of Courage
$6.74
Das Leben Sein Wesen, sein Ursprung und seine Erhaltung
$59.99
Modern Physics and its Philosophy
$54.99
Material Flows with Nexus of Regional Socioeconomic System
$109.00
The Digital Innovation Race
$69.99
Recursive Estimation and Time-Series Analysis
$74.99
Telemonitoring in Gesundheits- und Sozialsystemen
$59.99
The Challenge of the Digital Economy
$159.99
Wieviel Umwelt braucht der Mensch?
$49.99
Die Gemeinschdlichkeit der in Aussicht gestellten Erhhung der Kornzlle
$54.99
Researching Cybercrimes
$59.99
Cell Biology of the Axon
$219.99
Elektrolumineszenz und Elektrophotolumineszenz
$59.99
Universal Time-Series Forecasting with Mixture Predictors
$54.99
Asia's Changing International Investment Regime
$159.99
Bildung und Lebenskompetenz
$29.99
Contributions to Ubiquitous Computing
$169.99
Johnny Boo: Johnny Boo and the Ice Cream Computer
$4.46
Topics on Concentration Phenomena and Problems with Multiple Scales
$54.99
Communications and Networking in Education
$169.99
The Squad: A Graphic Novel (The Tryout #2)
$9.74
Science MashUp: XR Gesellschaft Utopien
$64.99
ber Organentwicklung und Histologische Differenzierung in Transplantierten Merogonischen Bastardgew
$59.99
George Devereux zum 75. Geburtstag Eine Festschrift
$59.99
Convention on International Civil Aviation
$89.00
Interactions Between Computational Intelligence and Mathematics Part 2
$84.99
The Making of Barbara Pym
$119.99
Bilingualism and Cognitive Control
$69.99
Bathtime for Baby Shark
$11.24
Bayesian Methods in Reliability
$84.99
Bombardment, Public Safety and Resilience in English Coastal Communities during the First World War
$129.99
Allgemeine Grundlagen des Bauwesens
$59.99
Einfhrung in die Technische Chemie
$39.99
Fault Diagnosis and Tolerance in Cryptography
$54.99
Fibrocystic Diseases of the Liver
$169.00
Education for Animal Welfare
$169.99
Sansn?
$5.96
