Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030309855
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

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