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
9783319050324
Condition
New
Product Description

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based application areas such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge. The Second International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD). The aim was to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas and solutions for modelling and analysing complex systems. In particular in areas including economy, governance, health, biology, ecology, climate and poverty reduction. The 7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert). The aim was to bring together researchers from Academia and Industry interested in the quality assessment of OSS projects, as well as the metrics, procedures and tools used in OSS communities and for the measurement and assessment of OSS quality.

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

What a Desi Girl Wants (Hardcover)

$14.24

Rethinking Descartess Substance Dualism

$129.99

Logistik im Wandel der Zeit Von der Produktionssteuerung zu vernetzten Supply Chains

$129.99

Advances in Invertebrates and Fish Telemetry

$169.99

Indirect and Direct Wallerian Degeneration in the Intramedullary Root Fibres of the Hypoglossal Nerv

$54.99

Lebensarbeit in der Industrie und Aufgaben einer europischen Arbeitsfront

$59.99

Medienpdagogik

$19.99

New Concepts and Applications in Soft Computing

$109.99

Chinese Migration to Europe

$109.99

Prparative Organische Photochemie

$59.99

Lucretius and Modernity

$54.99

Modeling Decisions for Artificial Intelligence

$69.99

Die deutsche Minneallegorie

$79.99

Global and Regional Geodynamics

$54.99

Credit Guarantee Institutions and SME Finance

$84.99

Hilfsbuch fr Apotheker zum Potenzieren und Taxieren homopathischer und biochemischer Arzneimittel

$84.99

Digitaler Erfolg im Lokaljournalismus

$14.99

Mobile Social Networking

$84.99

Heine-Jahrbuch 2019

$19.99

Der eiserne Oberbau mit besonderer Bercksichtigung einer rationellen Schienenbefestigung fr Lang

$84.99

Cybersecurity in Organisationen

$19.99

Children and Health Care

$169.99

Endocrine Disruption in Fish

$84.99

Forging New Frontiers: Fuzzy Pioneers I

$219.99

Programmieren lernen mit Python und JavaScript

$39.99

Technological Innovation for Industry and Service Systems

$84.99

Linear Algebraic Groups

$44.99

Node.js Recipes

$44.99

Optimale Gestaltung von Mehrprodukt-Distributionssystemen

$59.99

EEG Signal Processing and Feature Extraction

$199.99

Key Processes in Solar-Terrestrial Physics

$109.99

Statistical Physics

$39.99

Selbstgewiss ins Ungewisse

$17.99

Dictionary of Corporate Social Responsibility

$169.99

Erfolgreich gegen Depression und Angst

$19.99

Women in Aerospace Materials

$54.99

Yield Point Phenomena in Metals and Alloys

$109.00

Information Security and Cryptology - ICISC 2004

$109.99

Die Mediatisierung des Wissens

$69.99

Combinatorial and Algorithmic Aspects of Networking

$54.99