1997, ISBN: 3540639829
[EAN: 9783540639824], Nieuw boek, [SC: 14.19], [PU: Springer Berlin Heidelberg], CONCURRENCY; DESIGN; DEVELOPMENT; FORMALMETHODS; INFINITE-STATESYSTEMS; MODELCHECKING; PROGRAMSOFTWARE; SO… Más…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)] NEW BOOK. Gastos de envío: EUR 14.19 Details... |
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Pasta blanda
1997, ISBN: 9783540639824
Springer, 1997. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in th… Más…
Biblio.co.uk |
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Pasta blanda
1997, ISBN: 9783540639824
Springer, 1997. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in th… Más…
Biblio.co.uk |
ISBN: 9783540639824
Springer Berlin / Heidelberg. Used - Good. Used book that is in clean, average condition without any missing pages., Springer Berlin / Heidelberg, 2.5
Biblio.co.uk |
1997, ISBN: 9783540639824
Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997
lehmanns.de Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00) Details... |
1997, ISBN: 3540639829
[EAN: 9783540639824], Nieuw boek, [SC: 14.19], [PU: Springer Berlin Heidelberg], CONCURRENCY; DESIGN; DEVELOPMENT; FORMALMETHODS; INFINITE-STATESYSTEMS; MODELCHECKING; PROGRAMSOFTWARE; SO… Más…
Burkart, O.:
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Pasta blanda1997, ISBN: 9783540639824
Springer, 1997. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in th… Más…
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Pasta blanda
1997
ISBN: 9783540639824
Springer, 1997. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in th… Más…
ISBN: 9783540639824
Springer Berlin / Heidelberg. Used - Good. Used book that is in clean, average condition without any missing pages., Springer Berlin / Heidelberg, 2.5
1997, ISBN: 9783540639824
Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Automatic Verification of Sequential Infinite-State Processes
EAN (ISBN-13): 9783540639824
ISBN (ISBN-10): 3540639829
Tapa dura
Tapa blanda
Año de publicación: 1996
Editorial: Springer Berlin
Libro en la base de datos desde 2008-03-02T20:19:12+01:00 (Madrid)
Página de detalles modificada por última vez el 2023-06-14T08:25:37+02:00 (Madrid)
ISBN/EAN: 3540639829
ISBN - escritura alterna:
3-540-63982-9, 978-3-540-63982-4
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: burkart, olaf, peiry
Título del libro: automated deduction geometry, selected papers geometry, lecture notes computer science, olaf
Datos del la editorial
Autor: Olaf Burkart
Título: Lecture Notes in Computer Science; Automatic Verification of Sequential Infinite-State Processes
Editorial: Springer; Springer Berlin
166 Páginas
Año de publicación: 1997-12-17
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 166 p. 1 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; concurrency; design; development; formal methods; infinite-state systems; model checking; program verification; software; software engineering; verification; Computer Science Logic and Foundations of Programming; Software Engineering; Programming Techniques; Software Engineering; Computerprogrammierung und Softwareentwicklung; EA
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems. Two new algorithms are introduced allowing for automatic verification of important aspects such as safety or liveness properites of a given infinite-state system. The formal framework developed involves recent results from various theoretical areas like process algebras, fixpoint theory, modal logics and model checking.Includes supplementary material: sn.pub/extras
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
0884854222647 Nek Chand's Outsider Art: The Rock Garden of Chandigarh (Piery, Lucienne, Maizels, John)
- 0884854222647 Nek Chand's Outsider Art: The Rock Garden of Chandigarh (Piery, Lucienne, Maizels, John)
- 9783540696780 Automatic Verification of Sequential Infinite-State Processes (Leszek Rutkowski)
- 9782080305183 NEK Chand's Outsider Art: The Rock Garden of Chandigarh (Piery, Lucienne, Maizels, John)
- Nek Chand's outsider art (Lucienne Peiry - Philippe Lespinasse)
< para archivar...