Catalog

Record Details

Catalog Search


Architecting Dependable Systems VII Cover Image E-book E-book

Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek.

Casimiro, Antonio. (editor.). Lemos, Rogério. (editor.). Gacek, Cristina. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642172458
  • Physical Description: XII, 324p. 101 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Models and Principles.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01808nam a22004695i 4500
00139819
003CONS
00520131216224335.0
007cr nn 008mamaa
008101117s2010 gw | s |||| 0|eng d
020 . ‡a9783642172458 ‡9978-3-642-17245-8
0247 . ‡a10.1007/978-3-642-17245-8 ‡2doi
035 . ‡a(DE-He213)978-3-642-17245-8
050 4. ‡aQA76.758
072 7. ‡aUMZ ‡2bicssc
072 7. ‡aCOM051230 ‡2bisacsh
1001 . ‡aCasimiro, Antonio. ‡eeditor.
24510. ‡aArchitecting Dependable Systems VII ‡h[electronic resource] / ‡cedited by Antonio Casimiro, Rogério Lemos, Cristina Gacek.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2010.
300 . ‡aXII, 324p. 101 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6420
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aSoftware Engineering.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aProgramming Techniques.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aSoftware Engineering/Programming and Operating Systems.
65024. ‡aModels and Principles.
7001 . ‡aLemos, Rogério. ‡eeditor.
7001 . ‡aGacek, Cristina. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642172441
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6420
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-17245-8 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a39819 ‡b ‡c39819 ‡tbiblio ‡sSystem Local

Additional Resources