Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Boiler plant and distribution system optimization manual / / by Harry Taplin, P.E
| Boiler plant and distribution system optimization manual / / by Harry Taplin, P.E |
| Autore | Taplin Harry <1935-> |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Lilburn, Georgia : , : The Fairmont Press, Inc. : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (307 p.) |
| Disciplina | 621.1/83 |
| Soggetto topico |
Steam-boilers - Efficiency
Steam power plants - Design and construction |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-68015-670-5
0-88173-741-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Front ""; ""Table of Contents""; ""Acknowledgments""; ""Introduction""; ""Chapter 1""; ""Chapter 2""; ""Chapter 3""; ""Chapter 4""; ""Chapter 5""; ""Chapter 6""; ""Chapter 7""; ""Chapter 8""; ""Chapter 9""; ""Chapter 10""; ""Chapter 11""; ""Chapter 12""; ""Chapter 13""; ""Chapter 14""; ""Chapter 15"" |
| Record Nr. | UNINA-9910465016003321 |
Taplin Harry <1935->
|
||
| Lilburn, Georgia : , : The Fairmont Press, Inc. : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boiler plant and distribution system optimization manual / / by Harry Taplin, P.E
| Boiler plant and distribution system optimization manual / / by Harry Taplin, P.E |
| Autore | Taplin Harry <1935-> |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Lilburn, Georgia : , : The Fairmont Press, Inc. : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (307 p.) |
| Disciplina | 621.1/83 |
| Soggetto topico |
Steam-boilers - Efficiency
Steam power plants - Design and construction |
| ISBN |
1-68015-670-5
0-88173-741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Front ""; ""Table of Contents""; ""Acknowledgments""; ""Introduction""; ""Chapter 1""; ""Chapter 2""; ""Chapter 3""; ""Chapter 4""; ""Chapter 5""; ""Chapter 6""; ""Chapter 7""; ""Chapter 8""; ""Chapter 9""; ""Chapter 10""; ""Chapter 11""; ""Chapter 12""; ""Chapter 13""; ""Chapter 14""; ""Chapter 15"" |
| Record Nr. | UNINA-9910786761503321 |
|
Taplin Harry <1935->
|
||
| Lilburn, Georgia : , : The Fairmont Press, Inc. : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boiler plant and distribution system optimization manual / / by Harry Taplin, P.E
| Boiler plant and distribution system optimization manual / / by Harry Taplin, P.E |
| Autore | Taplin Harry <1935-> |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Lilburn, Georgia : , : The Fairmont Press, Inc. : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (307 p.) |
| Disciplina | 621.1/83 |
| Soggetto topico |
Steam-boilers - Efficiency
Steam power plants - Design and construction |
| ISBN |
1-68015-670-5
0-88173-741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Front ""; ""Table of Contents""; ""Acknowledgments""; ""Introduction""; ""Chapter 1""; ""Chapter 2""; ""Chapter 3""; ""Chapter 4""; ""Chapter 5""; ""Chapter 6""; ""Chapter 7""; ""Chapter 8""; ""Chapter 9""; ""Chapter 10""; ""Chapter 11""; ""Chapter 12""; ""Chapter 13""; ""Chapter 14""; ""Chapter 15"" |
| Record Nr. | UNINA-9910813661503321 |
|
Taplin Harry <1935->
|
||
| Lilburn, Georgia : , : The Fairmont Press, Inc. : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Industrial Applications [[electronic resource] ] : Specifying and Programming the Steam Boiler Control / / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
| Formal Methods for Industrial Applications [[electronic resource] ] : Specifying and Programming the Steam Boiler Control / / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (IX, 523 p.) |
| Disciplina | 621.1/83 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Machinery Business Management science Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Machinery and Machine Elements Business and Management, general Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-49566-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The steam boiler case study: Competition of formal program specification and development methods -- Structural synthesis of programs from refined user requirements (Programming boiler control in NUT) -- Using Focus, Lustre and probability theory for the design of a reliable control program -- Refining abstract machine specifications of the steam boiler control to well documented executable code -- An algebraic specification of the Steam-Boiler Control System -- A steam-boiler control specification with statecharts and Z -- An action system approach to the steam boiler problem -- The Steam Boiler problem in Lustre -- The steam-boiler problem — A TLT solution -- The real-time behavior of the steam-boiler -- Specifying and verifying the Steam Boiler Problem with SPIN -- TRIO specification of a steam boiler controller -- A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state -- Using HyTech to synthesize control parameters for a steam boiler -- A VDM specification of the steam-boiler problem -- Proving safety properties of the steam boiler controller -- Steam boiler control specification problem: A TLA solution -- Specifying optimal design for a steam-boiler system -- An object-oriented algebraic steam-boiler control specification -- Refinement from a control problem to programs -- VDM specification of the steam-boiler control using RSL notation -- Assertional specification and verification using PVS of the steam boiler control system -- Specifying and verifying the steam boiler control system with Time Extended LOTOS -- Simulation of a steam-boiler -- Steam-boiler control specification problem. |
| Record Nr. | UNISA-996465593903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||