An edition of Formal methods for industrial applications (1996)

Formal methods for industrial applications

specifying and programming the steam boiler control

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Formal methods for industrial applications by Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
February 5, 2019 | History
Edit
An edition of Formal methods for industrial applications (1996)

Formal methods for industrial applications

specifying and programming the steam boiler control

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
509

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Steam-boilers, Automatic control, Data processing

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Formal methods for industrial applications
Formal methods for industrial applications: specifying and programming the steam boiler control
1996, Springer
in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Formal Methods for Industrial Applications
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)
December 6, 1996, Springer
Paperback in English - 1 edition
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Berlin, New York
Series
Lecture notes in computer science,, 1165

Classifications

Dewey Decimal Class
621.1/83
Library of Congress
TJ288 .F59 1996, QA75.5-76.95

The Physical Object

Pagination
viii, 509 p. :
Number of pages
509

ID Numbers

Open Library
OL1000239M
Internet Archive
formalmethodsfor1995abri
ISBN 10
3540619291
LCCN
96039128
OCLC/WorldCat
35686104
Goodreads
2503004

Source records

Scriblio MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
February 5, 2019 Created by MARC Bot import existing book