top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Microsoft Exchange server 2003 deployment and migration [[electronic resource] ] : SP1 and SP2 / / Kieran McCorry
Microsoft Exchange server 2003 deployment and migration [[electronic resource] ] : SP1 and SP2 / / Kieran McCorry
Autore McCorry Kieran <1968->
Edizione [1st edition]
Pubbl/distr/stampa Burlinton, MA, : Elsevier Digital Press, c2006
Descrizione fisica 1 online resource (597 p.)
Disciplina 004/.36 22
005.7136
Soggetto topico Client/server computing
Electronic mail systems
Soggetto genere / forma Electronic books.
ISBN 1-281-00717-X
9786611007171
0-08-049183-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Microsoft® Exchange Server 2003 Deployment and Migration; Copyright Page; Contents; Foreword; Preface; Acknowledgments; Chapter 1. Exchange 2003 Deployment Fundamentals; 1.1 Introduction; 1.2 Windows 2000/Windows 2003 Refresher; 1.3 Exchange 2003 and Its Relationship to the Forest; 1.4 The Importance of Domain Controllers and Global Catalog Servers; 1.5 Choosing an Appropriate Domain Model; 1.6 Universal Security Groups and Windows Domain Mixed-Mode Membership; 1.7 Token Augmentation; 1.8 Exchange 2003 Installation Requirements; 1.9 Exchange System Manager on Windows XP
1.10 Exchange 2003 and Internet Information Services 6.01.11 Exchange 2003 Installation Improvements; 1.12 Preparing and Planning for Deployment; 1.13 DCDiag and NetDiag Utilities; 1.14 Preparing Windows 2003 Domains for Exchange 2003; 1.15 Installing Exchange 2003; 1.16 Summary; Chapter 2. Active Directory Connector Synchronization; 2.1 Introduction; 2.2 Active Directory Connector Core Technology Description; 2.3 Connection Agreements; 2.4 Active Directory Connector Schema Modifications; 2.5 Determining Which Directory Objects to Synchronize; 2.6 Active Directory Connector Block Searching
2.7 How the Active Directory Connector Uses the Active Directory2.8 Mailbox-Enabled and Mail-Enabled Objects; 2.9 Object Class Mapping from Exchange 5.5 to Active Directory; 2.10 Object Class Mapping from Active Directory to Exchange 5.5; 2.11 Synchronizing Hidden Objects; 2.12 Dealing with Hidden Distribution List Membership; 2.13 Object Deletion; 2.14 Connection Agreements and Authentication; 2.15 Controlling the Synchronization Schedule; 2.16 Connection Agreement Advanced Parameters; 2.17 Exchange 5.5 Mailboxes and Multiple Windows NT Accounts; 2.18 Mailbox Delegate Access
2.19 Troubleshooting Active Directory Connector Synchronization Problems2.20 New Exchange 2003 Active Directory Connector Features; 2.21 Summary; Chapter 3. Advanced Active Directory Connector Configuration; 3.1 Introduction; 3.2 Default Object-Matching Behavior; 3.3 How the Active Directory Connector Uses LDAP; 3.4 Using a Customized LDAP Search Filter; 3.5 Understanding LDAP Search Filters; 3.6 Setting an LDAP Search Filter on a Connection Agreement; 3.7 Default Active Directory Connector Object- Matching Behavior; 3.8 Using Custom Object-Matching Rules on the Active Directory Connector
3.9 The NTDSNoMatch Utility3.10 Summarizing Object-Matching Behavior; 3.11 Introduction to Attribute Mapping; 3.12 Default Attribute Mapping Behavior; 3.13 Moving beyond the Schema Mapping GUI; 3.14 Active Directory Distinguished Name Mapping with the Exchange 2000 Active Directory Connector; 3.15 ADC Account Creation and Account Migration; 3.16 Distinguished Name Mapping with the Exchange 2003 Active Directory Connector; 3.17 Exchange 5.5 and LDAP Names; 3.18 Attribute Mapping Rule Syntax; 3.19 Exchange 2003 SP1 Enhancements to the Active Directory Connector; 3.20 Summary
Chapter 4. The Site Replication Service
Record Nr. UNINA-9910451455103321
McCorry Kieran <1968->  
Burlinton, MA, : Elsevier Digital Press, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Microsoft Exchange server 2003 deployment and migration [[electronic resource] ] : SP1 and SP2 / / Kieran McCorry
Microsoft Exchange server 2003 deployment and migration [[electronic resource] ] : SP1 and SP2 / / Kieran McCorry
Autore McCorry Kieran <1968->
Edizione [1st edition]
Pubbl/distr/stampa Burlinton, MA, : Elsevier Digital Press, c2006
Descrizione fisica 1 online resource (597 p.)
Disciplina 004/.36 22
005.7136
Soggetto topico Client/server computing
Electronic mail systems
ISBN 1-281-00717-X
9786611007171
0-08-049183-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Microsoft® Exchange Server 2003 Deployment and Migration; Copyright Page; Contents; Foreword; Preface; Acknowledgments; Chapter 1. Exchange 2003 Deployment Fundamentals; 1.1 Introduction; 1.2 Windows 2000/Windows 2003 Refresher; 1.3 Exchange 2003 and Its Relationship to the Forest; 1.4 The Importance of Domain Controllers and Global Catalog Servers; 1.5 Choosing an Appropriate Domain Model; 1.6 Universal Security Groups and Windows Domain Mixed-Mode Membership; 1.7 Token Augmentation; 1.8 Exchange 2003 Installation Requirements; 1.9 Exchange System Manager on Windows XP
1.10 Exchange 2003 and Internet Information Services 6.01.11 Exchange 2003 Installation Improvements; 1.12 Preparing and Planning for Deployment; 1.13 DCDiag and NetDiag Utilities; 1.14 Preparing Windows 2003 Domains for Exchange 2003; 1.15 Installing Exchange 2003; 1.16 Summary; Chapter 2. Active Directory Connector Synchronization; 2.1 Introduction; 2.2 Active Directory Connector Core Technology Description; 2.3 Connection Agreements; 2.4 Active Directory Connector Schema Modifications; 2.5 Determining Which Directory Objects to Synchronize; 2.6 Active Directory Connector Block Searching
2.7 How the Active Directory Connector Uses the Active Directory2.8 Mailbox-Enabled and Mail-Enabled Objects; 2.9 Object Class Mapping from Exchange 5.5 to Active Directory; 2.10 Object Class Mapping from Active Directory to Exchange 5.5; 2.11 Synchronizing Hidden Objects; 2.12 Dealing with Hidden Distribution List Membership; 2.13 Object Deletion; 2.14 Connection Agreements and Authentication; 2.15 Controlling the Synchronization Schedule; 2.16 Connection Agreement Advanced Parameters; 2.17 Exchange 5.5 Mailboxes and Multiple Windows NT Accounts; 2.18 Mailbox Delegate Access
2.19 Troubleshooting Active Directory Connector Synchronization Problems2.20 New Exchange 2003 Active Directory Connector Features; 2.21 Summary; Chapter 3. Advanced Active Directory Connector Configuration; 3.1 Introduction; 3.2 Default Object-Matching Behavior; 3.3 How the Active Directory Connector Uses LDAP; 3.4 Using a Customized LDAP Search Filter; 3.5 Understanding LDAP Search Filters; 3.6 Setting an LDAP Search Filter on a Connection Agreement; 3.7 Default Active Directory Connector Object- Matching Behavior; 3.8 Using Custom Object-Matching Rules on the Active Directory Connector
3.9 The NTDSNoMatch Utility3.10 Summarizing Object-Matching Behavior; 3.11 Introduction to Attribute Mapping; 3.12 Default Attribute Mapping Behavior; 3.13 Moving beyond the Schema Mapping GUI; 3.14 Active Directory Distinguished Name Mapping with the Exchange 2000 Active Directory Connector; 3.15 ADC Account Creation and Account Migration; 3.16 Distinguished Name Mapping with the Exchange 2003 Active Directory Connector; 3.17 Exchange 5.5 and LDAP Names; 3.18 Attribute Mapping Rule Syntax; 3.19 Exchange 2003 SP1 Enhancements to the Active Directory Connector; 3.20 Summary
Chapter 4. The Site Replication Service
Record Nr. UNINA-9910784234903321
McCorry Kieran <1968->  
Burlinton, MA, : Elsevier Digital Press, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Microsoft Exchange server 2003 deployment and migration : SP1 and SP2 / / Kieran McCorry
Microsoft Exchange server 2003 deployment and migration : SP1 and SP2 / / Kieran McCorry
Autore McCorry Kieran <1968->
Edizione [1st edition]
Pubbl/distr/stampa Burlinton, MA, : Elsevier Digital Press, c2006
Descrizione fisica 1 online resource (597 p.)
Disciplina 004/.36 22
005.7136
004.36
Soggetto topico Client/server computing
Electronic mail systems
ISBN 1-281-00717-X
9786611007171
0-08-049183-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Microsoft® Exchange Server 2003 Deployment and Migration; Copyright Page; Contents; Foreword; Preface; Acknowledgments; Chapter 1. Exchange 2003 Deployment Fundamentals; 1.1 Introduction; 1.2 Windows 2000/Windows 2003 Refresher; 1.3 Exchange 2003 and Its Relationship to the Forest; 1.4 The Importance of Domain Controllers and Global Catalog Servers; 1.5 Choosing an Appropriate Domain Model; 1.6 Universal Security Groups and Windows Domain Mixed-Mode Membership; 1.7 Token Augmentation; 1.8 Exchange 2003 Installation Requirements; 1.9 Exchange System Manager on Windows XP
1.10 Exchange 2003 and Internet Information Services 6.01.11 Exchange 2003 Installation Improvements; 1.12 Preparing and Planning for Deployment; 1.13 DCDiag and NetDiag Utilities; 1.14 Preparing Windows 2003 Domains for Exchange 2003; 1.15 Installing Exchange 2003; 1.16 Summary; Chapter 2. Active Directory Connector Synchronization; 2.1 Introduction; 2.2 Active Directory Connector Core Technology Description; 2.3 Connection Agreements; 2.4 Active Directory Connector Schema Modifications; 2.5 Determining Which Directory Objects to Synchronize; 2.6 Active Directory Connector Block Searching
2.7 How the Active Directory Connector Uses the Active Directory2.8 Mailbox-Enabled and Mail-Enabled Objects; 2.9 Object Class Mapping from Exchange 5.5 to Active Directory; 2.10 Object Class Mapping from Active Directory to Exchange 5.5; 2.11 Synchronizing Hidden Objects; 2.12 Dealing with Hidden Distribution List Membership; 2.13 Object Deletion; 2.14 Connection Agreements and Authentication; 2.15 Controlling the Synchronization Schedule; 2.16 Connection Agreement Advanced Parameters; 2.17 Exchange 5.5 Mailboxes and Multiple Windows NT Accounts; 2.18 Mailbox Delegate Access
2.19 Troubleshooting Active Directory Connector Synchronization Problems2.20 New Exchange 2003 Active Directory Connector Features; 2.21 Summary; Chapter 3. Advanced Active Directory Connector Configuration; 3.1 Introduction; 3.2 Default Object-Matching Behavior; 3.3 How the Active Directory Connector Uses LDAP; 3.4 Using a Customized LDAP Search Filter; 3.5 Understanding LDAP Search Filters; 3.6 Setting an LDAP Search Filter on a Connection Agreement; 3.7 Default Active Directory Connector Object- Matching Behavior; 3.8 Using Custom Object-Matching Rules on the Active Directory Connector
3.9 The NTDSNoMatch Utility3.10 Summarizing Object-Matching Behavior; 3.11 Introduction to Attribute Mapping; 3.12 Default Attribute Mapping Behavior; 3.13 Moving beyond the Schema Mapping GUI; 3.14 Active Directory Distinguished Name Mapping with the Exchange 2000 Active Directory Connector; 3.15 ADC Account Creation and Account Migration; 3.16 Distinguished Name Mapping with the Exchange 2003 Active Directory Connector; 3.17 Exchange 5.5 and LDAP Names; 3.18 Attribute Mapping Rule Syntax; 3.19 Exchange 2003 SP1 Enhancements to the Active Directory Connector; 3.20 Summary
Chapter 4. The Site Replication Service
Record Nr. UNINA-9910826015403321
McCorry Kieran <1968->  
Burlinton, MA, : Elsevier Digital Press, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical NATS : From Beginner to Pro / / by Waldemar Quevedo
Practical NATS : From Beginner to Pro / / by Waldemar Quevedo
Autore Quevedo Waldemar
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018
Descrizione fisica 1 online resource (XVIII, 260 p. 47 illus.)
Disciplina 005.7136
Soggetto topico Open source software
Computer programming
Open Source
ISBN 1-4842-3570-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction to NATS -- 2. The NATS Protocol -- 3. The NATS Clients -- 4. Setting up NATS -- 5. High Availability with NATS Clustering -- 6. Developing a Cloud Native NATS Application -- 7. Monitoring NATS -- 8. Securing NATS -- 9. Troubleshooting NATS -- 10. Advanced NATS Techniques.
Record Nr. UNINA-9910300366703321
Quevedo Waldemar  
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Pro apache / Peter Wainwright
Pro apache / Peter Wainwright
Autore Wainwright, Peter
Edizione [3th ed.]
Pubbl/distr/stampa New York : Apress, c2004
Descrizione fisica XXI, 878 p. ; 24 cm
Disciplina 005.7136
Soggetto non controllato Elaboratori eletroniciProgrammi APACHE
Siti WebProgrammazione
ISBN 1-59059-300-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIPARTHENOPE-000007964
Wainwright, Peter  
New York : Apress, c2004
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
RabbitMQ essentials : hop straight into developing your own messaging applications by learning how to utilize RabbitMQ / / David Dossot
RabbitMQ essentials : hop straight into developing your own messaging applications by learning how to utilize RabbitMQ / / David Dossot
Autore Dossot David
Edizione [1st edition]
Pubbl/distr/stampa Birmingham, England : , : Packt Publishing, , 2014
Descrizione fisica 1 online resource (182 p.)
Disciplina 005.7136
Collana Community Experience Distilled
Soggetto topico Telecommunication - Message processing
Data transmission systems - Computer simulation
Soggetto genere / forma Electronic books.
ISBN 1-78398-321-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Copyright; Credits; Foreword; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: A Rabbit Springs to Life; What is messaging?; A loosely coupled architecture; Meet AMQP; The RabbitMQ broker; A case for RabbitMQ; Getting RabbitMQ ready; Installing the broker; Installing the management plugin; Configuring users; Summary; Chapter 2: Creating an Application Inbox; Connecting to RabbitMQ; Working with channels; Building the inbox; Sending user messages; AMQP message structure; Fetching user messages; Seeing it run; Adding topic messages; Summary
Chapter 3: Switching to Server-pushMoving beyond polling; Consuming queues; Creating a consumer subscription wrapper; Babysitting subscriptions; Tying into the WebSocket endpoint; Running the application; Publishing to all queues; Binding to the fanout; Publishing to all; Running the application; Summary; Chapter 4: Handling Application Logs; Publishing and consuming logs; Load testing AMQP; Running a load test; Prefetching messages; Messaging serendipity; Summary; Chapter 5: Tweaking Message Delivery; Handling dead letters; Refactoring queues; Undertaking messages; Making delivery mandatory
Implementing the back-office senderSummary; Chapter 6: Smart Message Routing; Service-oriented messaging; Replying to queues; Routing service requests; Exposing the authentication service; Calling the authentication service; Summary; Chapter 7: Taking RabbitMQ to Production; Tackling the broker SPOF; Mirroring queues; Connecting to the cluster; Federating brokers; Monitoring the broker; Summary; Chapter 8: Testing and Tracing Applications; Testing RabbitMQ applications; Unit testing RabbitMQ applications; Integration testing RabbitMQ applications; Tracing RabbitMQ; Drinking at the Firehose
SummaryAppendix: Message Schemas; User message; Authentication messages; Login; Request; Response; Logout; Request; Response; Generic error message; Index
Record Nr. UNINA-9910458025603321
Dossot David  
Birmingham, England : , : Packt Publishing, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
RabbitMQ essentials : hop straight into developing your own messaging applications by learning how to utilize RabbitMQ / / David Dossot
RabbitMQ essentials : hop straight into developing your own messaging applications by learning how to utilize RabbitMQ / / David Dossot
Autore Dossot David
Edizione [1st edition]
Pubbl/distr/stampa Birmingham, England : , : Packt Publishing, , 2014
Descrizione fisica 1 online resource (182 p.)
Disciplina 005.7136
Collana Community Experience Distilled
Soggetto topico Telecommunication - Message processing
Data transmission systems - Computer simulation
ISBN 1-78398-321-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Copyright; Credits; Foreword; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: A Rabbit Springs to Life; What is messaging?; A loosely coupled architecture; Meet AMQP; The RabbitMQ broker; A case for RabbitMQ; Getting RabbitMQ ready; Installing the broker; Installing the management plugin; Configuring users; Summary; Chapter 2: Creating an Application Inbox; Connecting to RabbitMQ; Working with channels; Building the inbox; Sending user messages; AMQP message structure; Fetching user messages; Seeing it run; Adding topic messages; Summary
Chapter 3: Switching to Server-pushMoving beyond polling; Consuming queues; Creating a consumer subscription wrapper; Babysitting subscriptions; Tying into the WebSocket endpoint; Running the application; Publishing to all queues; Binding to the fanout; Publishing to all; Running the application; Summary; Chapter 4: Handling Application Logs; Publishing and consuming logs; Load testing AMQP; Running a load test; Prefetching messages; Messaging serendipity; Summary; Chapter 5: Tweaking Message Delivery; Handling dead letters; Refactoring queues; Undertaking messages; Making delivery mandatory
Implementing the back-office senderSummary; Chapter 6: Smart Message Routing; Service-oriented messaging; Replying to queues; Routing service requests; Exposing the authentication service; Calling the authentication service; Summary; Chapter 7: Taking RabbitMQ to Production; Tackling the broker SPOF; Mirroring queues; Connecting to the cluster; Federating brokers; Monitoring the broker; Summary; Chapter 8: Testing and Tracing Applications; Testing RabbitMQ applications; Unit testing RabbitMQ applications; Integration testing RabbitMQ applications; Tracing RabbitMQ; Drinking at the Firehose
SummaryAppendix: Message Schemas; User message; Authentication messages; Login; Request; Response; Logout; Request; Response; Generic error message; Index
Record Nr. UNINA-9910790910003321
Dossot David  
Birmingham, England : , : Packt Publishing, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
RabbitMQ essentials : hop straight into developing your own messaging applications by learning how to utilize RabbitMQ / / David Dossot
RabbitMQ essentials : hop straight into developing your own messaging applications by learning how to utilize RabbitMQ / / David Dossot
Autore Dossot David
Edizione [1st edition]
Pubbl/distr/stampa Birmingham, England : , : Packt Publishing, , 2014
Descrizione fisica 1 online resource (182 p.)
Disciplina 005.7136
Collana Community Experience Distilled
Soggetto topico Telecommunication - Message processing
Data transmission systems - Computer simulation
ISBN 1-78398-321-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Copyright; Credits; Foreword; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: A Rabbit Springs to Life; What is messaging?; A loosely coupled architecture; Meet AMQP; The RabbitMQ broker; A case for RabbitMQ; Getting RabbitMQ ready; Installing the broker; Installing the management plugin; Configuring users; Summary; Chapter 2: Creating an Application Inbox; Connecting to RabbitMQ; Working with channels; Building the inbox; Sending user messages; AMQP message structure; Fetching user messages; Seeing it run; Adding topic messages; Summary
Chapter 3: Switching to Server-pushMoving beyond polling; Consuming queues; Creating a consumer subscription wrapper; Babysitting subscriptions; Tying into the WebSocket endpoint; Running the application; Publishing to all queues; Binding to the fanout; Publishing to all; Running the application; Summary; Chapter 4: Handling Application Logs; Publishing and consuming logs; Load testing AMQP; Running a load test; Prefetching messages; Messaging serendipity; Summary; Chapter 5: Tweaking Message Delivery; Handling dead letters; Refactoring queues; Undertaking messages; Making delivery mandatory
Implementing the back-office senderSummary; Chapter 6: Smart Message Routing; Service-oriented messaging; Replying to queues; Routing service requests; Exposing the authentication service; Calling the authentication service; Summary; Chapter 7: Taking RabbitMQ to Production; Tackling the broker SPOF; Mirroring queues; Connecting to the cluster; Federating brokers; Monitoring the broker; Summary; Chapter 8: Testing and Tracing Applications; Testing RabbitMQ applications; Unit testing RabbitMQ applications; Integration testing RabbitMQ applications; Tracing RabbitMQ; Drinking at the Firehose
SummaryAppendix: Message Schemas; User message; Authentication messages; Login; Request; Response; Logout; Request; Response; Generic error message; Index
Record Nr. UNINA-9910826746903321
Dossot David  
Birmingham, England : , : Packt Publishing, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Summary of a workshop on software certification and dependability [[electronic resource] /] / Committee on Certifiably Dependable Software Systems
Summary of a workshop on software certification and dependability [[electronic resource] /] / Committee on Certifiably Dependable Software Systems
Pubbl/distr/stampa Washington, D.C., : The National Academies Press, c2004
Descrizione fisica 1 online resource (57 p.)
Disciplina 005.7136
Soggetto topico Computer software - Certification
Computer science
Soggetto genere / forma Electronic books.
ISBN 1-282-08416-X
9786612084164
0-309-54619-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Front Matter""; ""Contents""; ""1 OVERVIEW OF WORKSHOP DISCUSSIONS""; ""2 SUMMARY OF PANEL SESSIONS AND PRESENTATIONS""; ""3 SUMMARY OF CLOSING SESSION""; ""APPENDIXES""; ""A Workshop Agenda""; ""B Panelist Biographies""; ""C Committee Member and Staff Biographies""; ""WHAT IS CSTB?""
Record Nr. UNINA-9910450378303321
Washington, D.C., : The National Academies Press, c2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Summary of a workshop on software certification and dependability [[electronic resource] /] / Committee on Certifiably Dependable Software Systems
Summary of a workshop on software certification and dependability [[electronic resource] /] / Committee on Certifiably Dependable Software Systems
Pubbl/distr/stampa Washington, D.C., : The National Academies Press, c2004
Descrizione fisica 1 online resource (57 p.)
Disciplina 005.7136
Soggetto topico Computer software - Certification
Computer science
ISBN 0-309-16558-X
1-282-08416-X
9786612084164
0-309-54619-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Front Matter""; ""Contents""; ""1 OVERVIEW OF WORKSHOP DISCUSSIONS""; ""2 SUMMARY OF PANEL SESSIONS AND PRESENTATIONS""; ""3 SUMMARY OF CLOSING SESSION""; ""APPENDIXES""; ""A Workshop Agenda""; ""B Panelist Biographies""; ""C Committee Member and Staff Biographies""; ""WHAT IS CSTB?""
Record Nr. UNINA-9910783134303321
Washington, D.C., : The National Academies Press, c2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui