| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910452932603321 |
|
|
Autore |
Hillary Ruth |
|
|
Titolo |
ISO 14001 : Case Studies and Practical Experiences / / Ruth Hillary |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : Taylor and Francis, , 2017 |
|
|
|
|
|
|
|
ISBN |
|
1-351-28275-1 |
1-351-28276-X |
1-909493-16-3 |
|
|
|
|
|
|
|
|
Edizione |
[First edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 recurso en línea (384 páginas) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
ISO 14000 Series Standards |
Environmental protection - Standards |
Industrial management - Environmental aspects |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
pt. 1. Implementation, maintenance and integration -- pt. 2. Certification and registration experiences -- pt. 3. Use of information technology, ISO 14031 and other tools and methods -- pt. 4. Communication, training, empowerment and cultural issues -- pt. 5. Involving stakeholders: contractors, suppliers, customers and other stakeholders -- pt. 6. Incorporating products, design and technology -- pt. 7. Environmental and economic benefits -- pt. 8. Sustainability and ISO 14001. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"ISO 14001 is the star standard among the International Organization for Standardization's ISO 14000 series of environmental management standards. It has seen spectacular growth since its launch in September 1996. Worldwide registrations are set to pass the 20,000 mark in 2000 with 20 times that number reportedly waiting in the wings. In 30 explicit but concise chapters, ISO 14001: Case Studies and Practical Experiences seeks to unravel the truth behind what can and cannot be achieved by ISO 14001 and aims to provide readers with enough knowledge to make choices about its relevance and importance not only to their worlds but also to society. Written by leading practitioners, certifiers, consultants, government and academics, the book examines |
|
|
|
|
|
|
|
|
|
|
|
|
both the real benefits and the shortcomings organizations have experienced with ISO 14001. We learn from both. Far more ambitious than an implementation guide, the book will provide those readers struggling with the standard first-hand experiences of the real issues they will face in implementing their EMS and, just as importantly, what certifiers look for when they visit firms. ISO 14001: Case Studies and Practical Experiences is a warts-and-all expose of ISO 14001: the issues tackled; the problems faced and overcome; and, above all, the astonishing flexibility of its uses and the diversity of its users. This important book is a must for businesses, researchers, consultants, government officials, students, NGOs and support organisations who want more than just another how-to-do-it manual; but rather the truth about how ISO 14001 is really working on the ground."--Provided by publisher. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910485034203321 |
|
|
Titolo |
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / / edited by Ahmed Bouajjani, Wei-Ngan Chin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38884-6 |
9786613566768 |
3-642-15643-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 404 p. 112 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 6252 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BouajjaniAhmed |
ChinWei-Ngan |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer networks |
Computer science |
Compilers (Computer programs) |
Software Engineering |
Programming Techniques |
Computer Communication Networks |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results -- Abstraction Learning -- Synthesis: Words and Traces -- Regular Papers -- Promptness in ?-Regular Automata -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed Systems -- Composing Reachability Analyses of Hybrid Systems for Safety and Stability -- The Complexity of Codiagnosability for Discrete Event and Timed Systems -- On Scenario Synchronization -- Compositional Algorithms for LTL Synthesis -- What’s Decidable about Sequences? -- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network -- Lattice-Valued Binary Decision Diagrams -- A Specification Logic for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs -- An Approach for Class Testing from Class Contracts -- Efficient On-the-Fly Emptiness Check for Timed Büchi Automata -- Reachability as Derivability, Finite Countermodels and Verification -- LTL Can Be More Succinct -- Automatic Generation of History-Based Access Control from Information Flow Specification -- Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems -- Symbolic Unfolding of Parametric Stopwatch Petri Nets -- Recursive Timed Automata -- Probabilistic Contracts for Component-Based Design -- Tool Papers -- Model-Checking Web Applications with Web-TLR -- GAVS: Game Arena Visualization and Synthesis -- CRI: Symbolic Debugger for MCAPI Applications -- MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming -- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems -- Developing Model Checkers Using PAT -- YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.-COMBINE: A Tool on Combined Formal Methods for Bindingly Verification -- Rbminer: A Tool for Discovering Petri Nets from Transition Systems. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri'cation and Analysis held during September 21-24, 2010 in Singapore. The primary objective of the ATVA c- ferences remains the same: to exchange and promote the latest advances of state-of-the-art research on theoretical and practical aspects of automated an- ysis, veri'cation and synthesis. From 72 papers submitted to ATVA 2010 in response to our call for papers, the Program Committee accepted 21 regular papers and 9 tool papers. Each paper received at least three reviews. The Program Committee worked hard to ensure that every submission received a rigorous and fair evaluation, with the ?nalprogramselectedaftera10-dayonlinediscussionsviatheEasychairsystem. OurprogramalsoincludedthreekeynotetalksandinvitedtutorialsbyThomas A.Henzinger(ISTAustria),JoxanJa'ar(NationalUniversityofSingapore)and IgorWalukiewicz(CNRS, France).Theconferenceorganizersweretrulygrateful to have such distinguished researchers as keynote speakers for the symposium. A new feature for the ATVA symposium this year were the two co-located workshops, In'nity 2010 (co-chaired by Yu-Fang Chen and Ahmed Rezine) and PMCW 2010 (co-chaired by Jun Sun and Hai Wang). We are delighted with the expanded scope, interactions and depth that the two |
|
|
|
|
|
|
|
|
|
|
workshops helped bring to the symposium. Many people worked hard and o'ered their valuable time so generously to make ATVA 2010 successful. First and foremost, we would like to thank all authors who worked hard to complete and submit papers to the conference. The ProgramCommittee members, reviewersand Steering Committee members alsodeservespecialrecognition.Without them, a competitive andpeer-reviewed international symposium simply cannot take place. |
|
|
|
|
|
| |