1997, ISBN: 3540639829
[EAN: 9783540639824], Nieuw boek, [SC: 14.19], [PU: Springer Berlin Heidelberg], CONCURRENCY; DESIGN; DEVELOPMENT; FORMALMETHODS; INFINITE-STATESYSTEMS; MODELCHECKING; PROGRAMSOFTWARE; SO… Plus…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)] NEW BOOK. Frais d'envoi EUR 14.19 Details... |
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livres de poche
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… Plus…
Biblio.co.uk |
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livres de poche
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… Plus…
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 Frais d'envoiVersand 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… Plus…
Burkart, O.:
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livres de poche1997, 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… Plus…
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science): 1354 - Livres de poche
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… Plus…
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
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Automatic Verification of Sequential Infinite-State Processes
EAN (ISBN-13): 9783540639824
ISBN (ISBN-10): 3540639829
Version reliée
Livre de poche
Date de parution: 1996
Editeur: Springer Berlin
Livre dans la base de données depuis 2008-03-02T20:19:12+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-06-14T08:25:37+02:00 (Paris)
ISBN/EAN: 3540639829
ISBN - Autres types d'écriture:
3-540-63982-9, 978-3-540-63982-4
Autres types d'écriture et termes associés:
Auteur du livre: burkart, olaf, peiry
Titre du livre: automated deduction geometry, selected papers geometry, lecture notes computer science, olaf
Données de l'éditeur
Auteur: Olaf Burkart
Titre: Lecture Notes in Computer Science; Automatic Verification of Sequential Infinite-State Processes
Editeur: Springer; Springer Berlin
166 Pages
Date de parution: 1997-12-17
Berlin; Heidelberg; DE
Langue: Anglais
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
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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)
< pour archiver...