2005, ISBN: 9781402035319
Taschenbuch
[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… Mehr…
booklooker.de |
2005, ISBN: 9781402035319
Taschenbuch
[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… Mehr…
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)) - Taschenbuch
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
Taschenbuch
[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… Mehr…
Broy, Manfred Gruenbauer, Johannes Harel, David:
Engineering Theories of Software Intensive Systems - Erstausgabe2005, ISBN: 9781402035319
Taschenbuch
[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… Mehr…
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)) - Taschenbuch
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
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Engineering Theories of Software Intensive Systems
EAN (ISBN-13): 9781402035319
ISBN (ISBN-10): 1402035314
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer-Verlag New York Inc.
416 Seiten
Gewicht: 0,620 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-12T12:21:05+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-28T22:47:52+01:00 (Berlin)
ISBN/EAN: 1402035314
ISBN - alternative Schreibweisen:
1-4020-3531-4, 978-1-4020-3531-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: harel, manfred david, johannes david, broy, grünbauer, david hare, hoare, johannes most
Titel des Buches: 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
Daten vom Verlag:
Autor/in: Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare
Titel: 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
Verlag: Springer; Springer Netherland
404 Seiten
Erscheinungsjahr: 2005-07-15
Dordrecht; NL
Sprache: Englisch
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781402035302 Engineering Theories of Software Intensive Systems by Manfred Broy Hardcover | Indigo Chapters (Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare)
< zum Archiv...