2005, ISBN: 9781402035319
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal MethodsSoftware Engineer… mais…
booklooker.de |
2005, ISBN: 9781402035319
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal MethodsSoftware Engineer… mais…
booklooker.de |
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... 2004 (Nato Science Series II: (closed)) - Livro de bolso
2004, ISBN: 9781402035319
Springer, 2005-09-01. 2005. Paperback. Used:Good., Springer, 2005-09-01, 0
Biblio.co.uk |
2005, ISBN: 9781402035319
kluwer, 2005. 1st. Paperback. New/New., kluwer, 2005, 6
Biblio.co.uk |
2005, ISBN: 9781402035319
kluwer, 2005. 1st. Paperback. New., kluwer, 2005, 6
Biblio.co.uk |
2005, ISBN: 9781402035319
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal MethodsSoftware Engineer… mais…
Broy, Manfred Gruenbauer, Johannes Harel, David:
Engineering Theories of Software Intensive Systems - primeira edição2005, ISBN: 9781402035319
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal MethodsSoftware Engineer… mais…
no/na Biblio.co.uk
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... 2004 (Nato Science Series II: (closed)) - Livro de bolso
2004
ISBN: 9781402035319
Springer, 2005-09-01. 2005. Paperback. Used:Good., Springer, 2005-09-01, 0
no/na Biblio.co.uk
2005, ISBN: 9781402035319
kluwer, 2005. 1st. Paperback. New/New., kluwer, 2005, 6
no/na Biblio.co.uk
2005, ISBN: 9781402035319
kluwer, 2005. 1st. Paperback. New., kluwer, 2005, 6
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Engineering Theories of Software Intensive Systems
EAN (ISBN-13): 9781402035319
ISBN (ISBN-10): 1402035314
Livro de capa dura
Livro de bolso
Ano de publicação: 2005
Editor/Editora: Springer-Verlag New York Inc.
416 Páginas
Peso: 0,620 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-06-12T07:21:05-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-28T18:47:52-03:00 (Sao Paulo)
Número ISBN/EAN: 9781402035319
Número ISBN - Ortografia alternativa:
1-4020-3531-4, 978-1-4020-3531-9
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: harel, manfred david, johannes david, broy, grünbauer, david hare, hoare, johannes most
Título do livro: advanced engineering mathematics, mathematics physics engineering, systems engineering, software engineering, marktoberdorf, advanced engineering chemistry, new systems theories, intensive, the mathematics physics and chemistry, physics without mathematics
Dados da editora
Autor: Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare
Título: NATO Science Series II: Mathematics, Physics and Chemistry; Engineering Theories of Software Intensive Systems - Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Editora: Springer; Springer Netherland
404 Páginas
Ano de publicação: 2005-07-15
Dordrecht; NL
Língua: Inglês
213,99 € (DE)
219,99 € (AT)
236,00 CHF (CH)
Available
X, 404 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; algorithm; design; formal method; formal verification; model checking; semantics; software architecture; software engineering; system development; verification; Software Engineering; Models of Computation; Theory of Computation; Programming Techniques; Compilers and Interpreters; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; BB; EA
Architectures, Design and Interfaces.- Incremental Software Construction with Refinement Diagrams.- Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures.- Interface-Based Design.- The Dependent Delegate Dilemma.- System and Program Verification, Model Checking and Theorem Proving.- Formalizing Counterexample-Driven Refinement with Weakest Preconditions.- A Mechanically Checked Proof of a Comparator Sort Algorithm.- Keys in Formal Verification.- On the Utility of Canonical Abstraction.- Process Algebras and Experimental Calculi.- Process Algebra: A Unifying Approach.- Computation Orchestration.- A Tree Semantics of an Orchestration Language.- Security, System Development and Special Aspects.- Model Driven Security.- Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction.Software Engineering System and Program Verification Security Engineering
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9781402035302 Engineering Theories of Software Intensive Systems by Manfred Broy Hardcover | Indigo Chapters (Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare)
< Para arquivar...