Cover Image

Formal methods for industrial applications : specifying and programming the steam boiler control /

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 n...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Abrial, Jean-Raymond, Börger, E. (Egon), 1946-, Langmaack, Hans
Format: eBook
Language:English
Published: Berlin ; New York : Springer, ©1996.
Series:Lecture notes in computer science ; 1165.
Subjects:
Steam-boilers > Automatic control > Data processing.
spécification formelle.
commande.
machine à vapeur.
application industrielle.
méthode formelle.
Chaudières à vapeur > Commande automatique > Informatique.
Procesbeheersing.
Programmatuurtechniek.
Programmation.
Chaudières à vapeur > Spécifications.
Electronic books.
Electronic resources (Books)
Congressen (vorm)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: TJ288 .F59 1996
 
Call Number Status Get It
TJ288 .F59 1996 Available