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

Software Engineering and Formal Methods

Software Engineering and Formal Methods

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

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

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

The Greek Crisis and European Modernity

$54.99

Kritik der Sozialen Arbeit - kritische Soziale Arbeit

$54.99

Selected Systems from Al-Fe-V to Al-Ni-Zr

$549.99

Water Policy in the Philippines

$109.99

Vitamin D Analogs in Cancer Prevention and Therapy

$169.00

Deutsche Syntax

$29.99

Medienkultur und Gesellschaftsstruktur

$39.99

Detection, Diagnosis and Management of Soil-borne Phytopathogens

$219.99

Flchtigkeiten

$59.99

State Government Budget Stabilization

$109.99

Decision Theater zur Frderung mathematischer Modellierungskompetenz

$17.99

Women and Welfare

$84.99

ShareCity

$39.99

Analytics und Artificial Intelligence

$59.99

Cyber Situational Awareness in Public-Private-Partnerships

$34.99

The Palgrave Handbook of Critical Human Resource Development

$249.99

Indian Spices

$129.99

Human-Computer Interaction - HCI International 2022

$3,999.99

Erwin Schrdinger's Color Theory

$129.99

Handwerk und Computer

$69.95

Transportation in a Net Zero World: Transitioning Towards Low Carbon Public Transport

$159.99

The Human Virome

$179.99

Elefente y Cerdita: Un tipo grande se llev mi pelota! (Elephant & Piggie #19)

$4.49

Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies

$219.99

Teaching the Alphabet

$160.00

Umweltgerechte Energiepolitik

$69.95

Synthesis and Release of Adenohypophyseal Hormones

$54.99

Partitioned Representations

$39.99

Managing the Older Adult Patient with HIV

$39.99

AI-Empowered Knowledge Management in Education

$34.99

An Invitation to Geomathematics

$59.99

The Molecular Repertoire of Adenoviruses III

$84.99

Geotechnical Research for Land Protection and Development

$219.99

Environmental Radiation Effects on Mammals

$129.00

Nanomaterials and Nanochemistry

$169.99

Produktionsplanung in der Automobilindustrie

$49.99

Exploration and Production of Oceanic Natural Gas Hydrate

$169.00

Advances in Cryptology ASIACRYPT 2023

$79.99

Analysis and Design of Discrete Part Production Lines

$109.99

From Catastrophe to Chaos: A General Theory of Economic Discontinuities

$169.99