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

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

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