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

Author

• Abrial, Jean-Raymond

Additional Author(s)

• Borger, Egon
• Langmaack, Hans

Publisher

New York: 1996

Language

English

ISBN

3540619291

Series

Lecture notes in computer science

Subject(s)

• STEAM-BOILER-AUTOMATIC CONTROL-DATA PROCESSING

Notes

. .

Abstract

-

Physical Dimension

Number of Page(s)

viii, 509 p.

Dimension

24 cm.

Other Desc.

-

Summary / Review / Table of Content

No summary / review / table of content available!

Exemplar(s)

#	Accession No.	Call Number	Location	Status
1.	03846/02	Res 621.183 Abr F	Library - 8th Floor	Available