Angebote zu "Formal" (18 Treffer)

Formal Systems Specification
107,00 € *
ggf. zzgl. Versand

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Anbieter: buch.de
Stand: 18.02.2017
Zum Angebot
Formal Systems Specification
107,00 € *
ggf. zzgl. Versand

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
Formal Systems Specification
95,99 € *
ggf. zzgl. Versand

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Anbieter: Thalia.de
Stand: 31.01.2017
Zum Angebot
Formal Methods for Industrial Applications
112,30 € *
ggf. zzgl. Versand

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
Formal Methods for Industrial Applications
112,30 € *
ggf. zzgl. Versand

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Anbieter: buch.de
Stand: 18.02.2017
Zum Angebot
Formal Methods for Industrial Applications
99,99 € *
ggf. zzgl. Versand

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Anbieter: Thalia.de
Stand: 09.02.2017
Zum Angebot
Angewandte Informatik und Formale Beschreibungs...
49,95 € *
ggf. zzgl. Versand

Festschrift zum 60. Geburtstag von Wolffried Stucky Teubner Texte zur Informatik. 1999. Auflage

Anbieter: eBook.de
Stand: 18.12.2016
Zum Angebot
System Configuration Management
74,90 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 8th International Symposium on System Configuration Management, SCM-8, held in conjunction with ECOOP´98 in Brussels, Belgium, in July 1998. The volume presents 17 revised full papers carefully reviewed and selected for presentation; also included is a tutorial lecture; approximately half of the papers come from industry. The book is divided into sections on industrial experience, experimental systems, product data management and system configuration management, formal approaches, cooperative systems, and Web-based applications.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
System Configuration Management
74,90 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 8th International Symposium on System Configuration Management, SCM-8, held in conjunction with ECOOP´98 in Brussels, Belgium, in July 1998. The volume presents 17 revised full papers carefully reviewed and selected for presentation; also included is a tutorial lecture; approximately half of the papers come from industry. The book is divided into sections on industrial experience, experimental systems, product data management and system configuration management, formal approaches, cooperative systems, and Web-based applications.

Anbieter: buch.de
Stand: 18.02.2017
Zum Angebot
System Configuration Management
66,99 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 8th International Symposium on System Configuration Management, SCM-8, held in conjunction with ECOOP´98 in Brussels, Belgium, in July 1998. The volume presents 17 revised full papers carefully reviewed and selected for presentation; also included is a tutorial lecture; approximately half of the papers come from industry. The book is divided into sections on industrial experience, experimental systems, product data management and system configuration management, formal approaches, cooperative systems, and Web-based applications.

Anbieter: Thalia.de
Stand: 23.01.2017
Zum Angebot