1997, ISBN: 3540639829
[EAN: 9783540639824], Nieuw boek, [SC: 14.19], [PU: Springer Berlin Heidelberg], CONCURRENCY; DESIGN; DEVELOPMENT; FORMALMETHODS; INFINITE-STATESYSTEMS; MODELCHECKING; PROGRAMSOFTWARE; SO… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)] NEW BOOK. Custos de envio: EUR 14.19 Details... |
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livro de bolso
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… mais…
Biblio.co.uk |
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livro de bolso
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… mais…
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 Custos de envio: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… mais…
Burkart, O.:
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livro de bolso1997, 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… mais…
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livro de bolso
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… mais…
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
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Automatic Verification of Sequential Infinite-State Processes
EAN (ISBN-13): 9783540639824
ISBN (ISBN-10): 3540639829
Livro de capa dura
Livro de bolso
Ano de publicação: 1996
Editor/Editora: Springer Berlin
Livro na base de dados desde 2008-03-02T19:19:12+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-06-14T07:25:37+01:00 (Lisbon)
Número ISBN/EAN: 3540639829
Número ISBN - Ortografia alternativa:
3-540-63982-9, 978-3-540-63982-4
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: burkart, olaf, peiry
Título do livro: automated deduction geometry, selected papers geometry, lecture notes computer science, olaf
Dados da editora
Autor: Olaf Burkart
Título: Lecture Notes in Computer Science; Automatic Verification of Sequential Infinite-State Processes
Editora: Springer; Springer Berlin
166 Páginas
Ano de publicação: 1997-12-17
Berlin; Heidelberg; DE
Língua: 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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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 arquivar...