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

Author

Additional Author(s)

• Langmaack, Hans
• Borger, Egon

Publisher

New York: 1996

Language

English

ISBN

-

Series

Lecture notes in computer science

Subject(s)

• STEAM-BOILER-AUTOMATIC CONTROL-DATA PROCESSING

Notes

. .

Abstract

-

Physical Dimension

Number of Page(s)

1 CD-ROM

Dimension

4,75 inch.

Other Desc.

-

Summary / Review / Table of Content

No summary / review / table of content available!

Exemplar(s)

#	Accession No.	Call Number	Location	Status
1.	03847/02	CD 621.183 Abr F	-	Available