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

Z User Workshop, London 1992

Z User Workshop, London 1992

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

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students andalso potential industrial users of Z.

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

Die Fabrikation von Wundern

$59.99

Sociological and Philosophical Perspectives on Education in the Asia-Pacific Region

$109.99

One Drawing a Day- A Creative Workbook for the Artist in You by Nadia Hayes

$18.99

Skin Microbiology

$39.99

Verhalten von Kohlenstoffsteinen im Hochofen

$59.99

Drug Therapy for Type 2 Diabetes

$39.99

The New Working Class?

$59.99

Impressions of Empiricism

$14.99

High-temperature Metamorphism and Crustal Anatexis

$169.99

Major Aspects of Chinese Religion and Philosophy

$169.99

Arthropod Relationships

$169.00

Soft Computing and Its Engineering Applications

$84.99

Zeig mir Biostatistik!

$19.99

General Systems Theory

$139.99

Asteroids and Dwarf Planets and How to Observe Them

$54.99

The Search for Supersymmetry in Hadronic Final States Using Boosted Object Reconstruction

$169.99

Fetal Islet Transplantation

$39.99

Virtual Reality Technology in Mining Machinery

$199.99

Arjunawijaya

$39.99

God and Mental Causation

$39.99

Proportional Representation and the Constituency Role in Britain

$54.99

Concise Chinese Tort Laws

$84.99

Temperatur- und Dehnungsmessungen in einem Gefrierschacht

$59.99

Anleitung zu den Physiologischen bungen

$59.99

Optimization and Control Methods in Industrial Engineering and Construction

$169.99

Quantification in Natural Languages

$219.99

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Ch

$99.99

Festkrperprobleme 20

$54.99

Essentials of Creatine in Sports and Health

$84.99

The Dialogue between Higher Education Research and Practice

$109.99

The New Realism

$19.99

Some Newly Established Asian States and the Development of International Law

$54.99

Beitrge zur generativen Grammatik

$54.99

Epidural Technique In Obstetric Anesthesia

$139.99

International Perspectives on School-University Partnerships

$169.99

Strategisches IT-Management

$69.99

Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems

$169.99

Das Managementmodell der Jesuiten

$39.99

Diffusion Processes

$84.99

Vavilov-Cherenkov and Synchrotron Radiation

$169.00