Catalog

Record Details

Catalog Search


Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 Cover Image E-book E-book

Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.

Broy, Manfred. (editor.). Grünbauer, Johannes. (editor.). Harel, David. (editor.). Hoare, Tony. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01970nam a22004695i 4500
00112078
003CONS
00520131219150812.0
007cr nn 008mamaa
008100301s2005 ne | s |||| 0|eng d
020 . ‡a9781402035326 ‡9978-1-4020-3532-6
0247 . ‡a10.1007/1-4020-3532-2 ‡2doi
035 . ‡a(DE-He213)978-1-4020-3532-6
050 4. ‡aQA76.758
072 7. ‡aUMZ ‡2bicssc
072 7. ‡aCOM051230 ‡2bisacsh
1001 . ‡aBroy, Manfred. ‡eeditor.
24510. ‡aEngineering Theories of Software Intensive Systems ‡h[electronic resource] : ‡bProceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / ‡cedited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.
264 1. ‡aDordrecht : ‡bSpringer Netherlands, ‡c2005.
300 . ‡aX, 404 p. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aNATO Science Series, Series II: Mathematics, Physics and Chemistry, ‡x1568-2609 ; ‡v195
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aInformation theory.
65014. ‡aComputer Science.
65024. ‡aSoftware Engineering.
65024. ‡aModels and Principles.
65024. ‡aTheory of Computation.
65024. ‡aProgramming Techniques.
65024. ‡aProgramming Languages, Compilers, Interpreters.
7001 . ‡aGrünbauer, Johannes. ‡eeditor.
7001 . ‡aHarel, David. ‡eeditor.
7001 . ‡aHoare, Tony. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9781402035302
830 0. ‡aNATO Science Series, Series II: Mathematics, Physics and Chemistry, ‡x1568-2609 ; ‡v195
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/1-4020-3532-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a12078 ‡b ‡c12078 ‡tbiblio ‡sSystem Local

Additional Resources