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

Applicable Formal Methods for Safe Industrial Products

Applicable Formal Methods for Safe Industrial Products

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

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests,and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.

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

Single Product Purchase

$59.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
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

Philosophical and Ethical Problems in Mental Handicap

$109.99

Corruptive Patterns of Patronage in South East Europe

$54.99

Harmonic Analysis on Classical Groups

$54.99

Management and Leadership for a Sustainable Africa, Volume 2

$179.99

Economic Management and French Business

$54.99

Stellaluna

$5.96

Information Systems and Qualitative Research

$169.00

Familienbilder

$59.99

Educating Engineers for Future Industrial Revolutions

$169.00

Literacies in the Age of Mobility

$169.99

Sociocultural Approaches to STEM Education

$119.00

Methods and Materials in Microelectronic Technology

$109.99

Spectral Theory of Operators in Hilbert Space

$169.99

In the Blink of an Eye

$37.99

Alzheimers Disease

$54.99

Thinking Physics for Teaching

$39.99

Endocrinology of Breast Cancer

$169.99

The Ecumenical Legacy of the Cappadocians

$99.00

Double Contrast Examination of the Colon

$84.99

The Role of Organic Matter in Modern Agriculture

$39.99

Imaging, Manipulation and Optogenetics in Zebrafish

$84.99

Models of Science Teacher Preparation

$109.99

Durchsetzungsprozesse in der Stadtentwicklungspolitik

$29.99

Encyclopedic Dictionary of Industrial Technology

$39.99

The Lithosphere Beneath the Indian Shield

$84.99

Contemporary Trends in European Cooperative Banking

$199.99

Soft Computing Applications and Intelligent Systems

$54.99

Anatomy of Government Deficiencies

$39.99

Der Diskurs um 218 StGB und Ursachen von Abtreibungen

$74.99

Make a 2D RPG in a Weekend

$54.99

Aufstze und Vortrge (19221937)

$399.99

St James's Place Tax Guide 2010-2011

$56.00

Immunodeficiency and Disease

$39.99

Between Feminism and Materialism

$54.99

Logistik in Dienstleistungsunternehmen

$79.99

Vibrio spp. Infections

$219.99

Die sterreichische Gesellschaft whrend der Corona-Pandemie

$49.99

Topological Structure and Analysis of Interconnection Networks

$199.99

Advances in Computational Intelligence

$219.99

The Paradox of Knowledge-Intensive Entrepreneurship in Low-Tech Industries

$54.99