Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Industrial Applications

Name: Formal Methods for Industrial Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566246
Price: 90.79 EUR
Availability: InStock
Author: Jean-Raymond Abrial
ISBN: 9783540619291

Specifying and Programming the Steam Boiler Control

Jean-Raymond Abrial

Egon Börger

Hans Langmaack

Language

English

Book Paperback

Libristo code: 01566246

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 1996

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evalua... Full description

Libristo code: 01566246

222 b

90.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Observations Geologiques Faites En Italie Gosselet-J

Paperback

11.99 €

Tagebücher Chris Hirte

Hardback

28.00 €

100 osvědčených stavebních detailů Klempířství a pokrývačství Bohumil Štumpa; Jiří Langner; Ondřej Šefců

Book

12.09 €

Der hl.Fridolin und seine Zeit Hermann Ays

Hardback

19.90 €

Historia, Fe y Practicas Menonitas: Un enfoque paraguayo Gerhard Ratzlaff

Paperback

14.69 €

La Mujer Ante La Lei Civil, La Política I El Matrimonio Santiago Vaca Guzman

Hardback

27.49 €

Der Einfluss aeusserer Faktoren auf das Geschlechtsleben in England Iwan Bloch

Paperback

26.50 €

Lucrezia Borgia Maria Bellonci

Paperback

14.29 €

Het betoverde kasteel 1 - Zwarte magie Gotthardt

MP3

3.29 €

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.