Catalog

Record Details

Catalog Search



Variations on Constants Flow Analysis of Sequential and Parallel Programs  Cover Image E-book E-book

Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Markus Müller-Olm.

Record details

  • ISBN: 9783540453864
  • Physical Description: XIII, 177 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.

Electronic resources


LDR 01575nam a22004095i 4500
00117313
003CONS
00520131219150602.0
007cr nn 008mamaa
008101221s2006 gw | s |||| 0|eng d
020 . ‡a9783540453864 ‡9978-3-540-45386-4
0247 . ‡a10.1007/11871743 ‡2doi
035 . ‡a(DE-He213)978-3-540-45386-4
050 4. ‡aQA76.758
072 7. ‡aUMZ ‡2bicssc
072 7. ‡aCOM051230 ‡2bisacsh
1001 . ‡aMüller-Olm, Markus. ‡eauthor.
24510. ‡aVariations on Constants ‡h[electronic resource] : ‡bFlow Analysis of Sequential and Parallel Programs / ‡cby Markus Müller-Olm.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2006.
300 . ‡aXIII, 177 p. Also available online. ‡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 ; ‡v3800
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aSoftware Engineering.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aProgramming Languages, Compilers, Interpreters.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540453857
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v3800
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/11871743 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a17313 ‡b ‡c17313 ‡tbiblio ‡sSystem Local

Additional Resources