2005, ISBN: 9781402035319
edizione con copertina flessibile
[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… Altro …
booklooker.de |
2005, ISBN: 9781402035319
edizione con copertina flessibile
[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… Altro …
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)) - edizione con copertina flessibile
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
edizione con copertina flessibile
[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… Altro …
Broy, Manfred Gruenbauer, Johannes Harel, David:
Engineering Theories of Software Intensive Systems - Prima edizione2005, ISBN: 9781402035319
edizione con copertina flessibile
[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… Altro …
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)) - edizione con copertina flessibile
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
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Engineering Theories of Software Intensive Systems
EAN (ISBN-13): 9781402035319
ISBN (ISBN-10): 1402035314
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2005
Editore: Springer-Verlag New York Inc.
416 Pagine
Peso: 0,620 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-06-12T12:21:05+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-02-28T22:47:52+01:00 (Rome)
ISBN/EAN: 1402035314
ISBN - Stili di scrittura alternativi:
1-4020-3531-4, 978-1-4020-3531-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : harel, manfred david, johannes david, broy, grünbauer, david hare, hoare, johannes most
Titolo del libro: 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
Dati dell'editore
Autore: Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare
Titolo: 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
Editore: Springer; Springer Netherland
404 Pagine
Anno di pubblicazione: 2005-07-15
Dordrecht; NL
Lingua: Inglese
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9781402035302 Engineering Theories of Software Intensive Systems by Manfred Broy Hardcover | Indigo Chapters (Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare)
< Per archiviare...