2005, ISBN: 9781402035319
Livres de poche
[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… Plus…
booklooker.de |
2005, ISBN: 9781402035319
Livres de poche
[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… Plus…
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)) - Livres de poche
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
Livres de poche
[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… Plus…
Broy, Manfred Gruenbauer, Johannes Harel, David:
Engineering Theories of Software Intensive Systems - Première édition2005, ISBN: 9781402035319
Livres de poche
[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… Plus…
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)) - Livres de poche
2004
ISBN: 9781402035319
Springer, 2005-09-01. 2005. Paperback. Used:Good., Springer, 2005-09-01, 0
2005, ISBN: 9781402035319
kluwer, 2005. 1st. Paperback. New/New., kluwer, 2005, 6
2005, ISBN: 9781402035319
kluwer, 2005. 1st. Paperback. New., kluwer, 2005, 6
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Engineering Theories of Software Intensive Systems
EAN (ISBN-13): 9781402035319
ISBN (ISBN-10): 1402035314
Version reliée
Livre de poche
Date de parution: 2005
Editeur: Springer-Verlag New York Inc.
416 Pages
Poids: 0,620 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-06-12T12:21:05+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-28T22:47:52+01:00 (Zurich)
ISBN/EAN: 9781402035319
ISBN - Autres types d'écriture:
1-4020-3531-4, 978-1-4020-3531-9
Autres types d'écriture et termes associés:
Auteur du livre: harel, manfred david, johannes david, broy, grünbauer, david hare, hoare, johannes most
Titre du livre: 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
Données de l'éditeur
Auteur: Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare
Titre: 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
Editeur: Springer; Springer Netherland
404 Pages
Date de parution: 2005-07-15
Dordrecht; NL
Poids: 1,280 kg
Langue: Anglais
213,99 € (DE)
219,99 € (AT)
236,00 CHF (CH)
POD
X, 404 p.
BC; Software Engineering; 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; Models and Principles; Theory of Computation; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Models of Computation; Theory of Computation; Programming Techniques; Compilers and Interpreters; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; BB
Preface. Part I Architectures, Design and Interfaces Incremental Software Construction with Refinement Diagrams; R.-J. Back. Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures; M. Broy. Interface-based Design; T.A. Henzinger, L. de Alfaro. The Dependent Delegate Dilemma; B. Meyer.- Part II System and Program Verification, Model Checking and Theorem Proving Formalizing Counterexample-driven Refinement with Weakest Preconditions; T. Ball. A Mechanically Checked Proof of a Comparator Sort Algorithm; J Strother Moore, B. Brock. Keys in Formal Verification: Abstractions for Progress; A. Pnueli. On the utility of canonical abstraction; S. Sagi et al.- Part III Process Algebras and Experimental Calculi Process Algebra: a Unifying Approach; T. Hoare. Computation Orchestration; J. Misra. A Tree Semantics of an Orchestration Language; T. Hoare et al.- Part IV Security, System Development and Special Aspects Model Driven Security; D. Basin et al. Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction; David Harel.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9781402035302 Engineering Theories of Software Intensive Systems by Manfred Broy Hardcover | Indigo Chapters (Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare)
< pour archiver...