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

Integrated Formal Methods

Integrated Formal Methods

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

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

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

Why Banks Fail

$74.99

Recent Advances in Contact Mechanics

$169.99

Advances in Cryogenic Engineering

$84.99

Die Bedeutung der Grundlagenforschung fr die Wirtschaft

$59.99

Wiederherstellungsoperationen nach Brustkrebs

$24.99

Aspects of Automatic Text Analysis

$129.00

Computer Science Logic

$39.99

Doping of Carbon Nanotubes

$109.99

GameMaker: Studio 100 Programming Challenges

$54.99

The Pragmatics of Revision

$54.99

Sustainability and Interprofessional Collaboration

$109.99

Introduction to World Vegetation

$109.99

Differenzierung und Entwicklung / Differentiation and Development

$84.99

Die Epicutantestung

$59.99

ICACE 2019

$219.99

Rntgendiagnostik und Strahlentherapie in der Kinderheilkunde

$59.99

50 Years with Hardy Spaces

$159.99

Maschinenliebe

$54.99

Approximation Algorithms for Combinatorial Optimization

$39.99

Upscaling of Bio-Nano-Processes

$109.99

Die groen Tierseuchen

$17.99

Strategy and Strategic Discourse in Turkish Foreign Policy

$39.99

The Arithmetic of Elliptic Curves

$59.95

Questioning Hybridity, Postcolonialism and Globalization

$39.99

Invertebrates in Freshwater Wetlands

$219.99

Ausfhrungsbestimmungen zum Tabaksteuergesetze vom 15. Juli 1909

$44.99

Symmetry and Combinatorial Enumeration in Chemistry

$84.99

Grenzen der Entrumlichung

$59.99

Big Data, Artificial Intelligence, and Data Analytics in Climate Change Research

$139.99

Advances in Computer Science for Engineering and Education

$199.99

Interview Questions in Business Analytics

$39.99

Reimagining Christian Education

$179.99

Studies on Atherosclerosis

$109.99

Rechenbungen zur angewandten Elektronik

$54.99

Craniofacial Trauma

$149.00

Grbner Bases

$109.99

Transport Spectroscopy of Confined Fractional Quantum Hall Systems

$84.99

Die Methode der graphischen Darstellung und ihre Anwendung in Theorie und Praxis der Radiotechnik

$59.99

Medical Ethics in Antiquity

$169.99

Heat Shock Proteins in Inflammatory Diseases

$199.99