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

The Application of Formal Methods

The Application of Formal Methods

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

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries. At GEC's Hirst Research Centre he worked on a novel distributed telephone exchange and a service specification of a PABX exchange. In Oxford he collaborated with IBM Hursley Laboratories on modelling of the CICS transaction processing system, one of the most significant software systems ever. As part of the UK government's cybersecurity strategy, he used Z techniques to develop secure office automation systems and a secure version of UNIX. He worked with the Smith Institute and BR Research to verify the safety of railway signalling systems, approaches developed further in safety-critical control systems for the UK Nuclear Installation Inspectorate and British Energy. He provided a technically complete theory of correctness for Z, verifying its soundness from first principles, and completed the verification of Mondex, a smartcard-based electronic cash system, the first application of a general theory of program correctness to an industrial product. He coordinated the experimental work of the Verified Software Initiative, an international grand challenge. More recently he extended the collection of standard Unifying Theories of Programming (UTP) with work on object orientation and hybrid systems. Currently he is working on a UTP theory of probabilistic programs with application to robotics. Jim has been a lecturer, research fellow, reader and professor at the University of Surrey, the University of Oxford, the University of Kent, and since 2004 the University of York, and he is a visiting professor at the Federal University of Pernambuco and Trinity College Dublin. He is a Fellow of the Royal Academy of Engineering, the British Computer Society, and the Formal Methods Europe association, and he was part of the team that won the Queens Award for Technological Achievement in 1992. He is the Editor-in-Chief of the ACM journal Formal Aspects of Computing, he has chaired major related academic conferences, and he has contributed to CCITT and Z ISO international standards. Throughout all these activities, Jim has been a guide and inspiration to colleagues and students, and collaborated successfully with researchers in the UK, Brazil, China, France, USA, Ireland, and Singapore. Many of these researchers show in their contributions to this volume the ongoing impact of his work.

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

Single Product Purchase

$74.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
$74.99 $74.99

$74.99
See Site In stock Visit Store

Similar Products

Integral Global Optimization

$54.99

Dino Ranch: T-Rex Trouble!

$4.49

Human Rights, Realities and Possibilities

$59.99

Unternehmensplanung im Quadrat

$34.99

Slow Care Pflegen ohne Zeitdruck

$17.99

Solutions of Nonlinear Schrdinger Systems

$54.99

Programmieren in COBOL 85

$54.99

Grab and Go Pack Theme 2: Social-Emotional Development Grade 2 Spanish

$29.95

Advanced Methods for Groundwater Pollution Control

$109.99

Volkswirtschaftliche Gesamtrechnung in Tropisch-Afrika

$59.99

Curvature Scale Space Representation: Theory, Applications, and MPEG-7 Standardization

$54.99

The Very Long Game

$59.99

Model Driven Architecture - Foundations and Applications

$39.99

Holocaust in Rovno: The Massacre at Sosenki Forest, November 1941

$89.00

Bilanzanalyse und Bilanzkritik

$59.99

The Disposal and Utilisation of Abattoir Waste in the European Communities

$39.99

The State and Kurds in Turkey

$109.99

Gemeinsam Musizieren

$49.99

Wissen managen

$54.99

Universities, Rankings and the Dynamics of Global Higher Education

$89.99

Radicals in Synthesis I

$169.00

Bewertung von Wandelanleihen

$99.99

Nanotechnologies in the Conservation of Cultural Heritage

$119.99

Design Research in Information Systems

$79.99

Theoretical, Computational, and Experimental Solutions to Thermo-Fluid Systems

$129.00

Aufgaben und Lehrstze aus der Analysis

$54.99

Disruptive Zeiten

$39.99

Netzwerke beim Berufseinstieg

$44.99

Peroxisomal Disorders and Regulation of Genes

$129.00

The Creative University

$49.99

Unconventional Resources in India: The Way Ahead

$54.99

Die Bedeutung der adrenergen Blockade fr den haemorrhagischen Schock

$69.99

Supply Chain Immunity

$69.99

Implementation and Application of Automata

$39.99

Intelligent Computer Mathematics

$54.99

Photoperiod and Testicular Function in Phodopus sungorus

$109.99

Field Measurements for Forest Carbon Monitoring

$169.99

Percy Bysshe Shelley

$109.99

Wavelet, Subband and Block Transforms in Communications and Multimedia

$129.00

Intuitionistic Fuzzy Sets

$169.99