Catalog

Record Details

Catalog Search


Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings Cover Image E-book E-book

Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.

Nielson, Hanne Riis. (editor.). Filé, Gilberto. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540740612
  • Physical Description: XI, 469 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01887nam a22004815i 4500
00135654
003CONS
00520131220003625.0
007cr nn 008mamaa
008100301s2007 gw | s |||| 0|eng d
020 . ‡a9783540740612 ‡9978-3-540-74061-2
0247 . ‡a10.1007/978-3-540-74061-2 ‡2doi
035 . ‡a(DE-He213)978-3-540-74061-2
050 4. ‡aQA76.7-76.73
050 4. ‡aQA76.76.C65
072 7. ‡aUMX ‡2bicssc
072 7. ‡aUMC ‡2bicssc
072 7. ‡aCOM051010 ‡2bisacsh
072 7. ‡aCOM010000 ‡2bisacsh
1001 . ‡aNielson, Hanne Riis. ‡eeditor.
24510. ‡aStatic Analysis ‡h[electronic resource] : ‡b14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / ‡cedited by Hanne Riis Nielson, Gilberto Filé.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2007.
300 . ‡aXI, 469 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 ; ‡v4634
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aSoftware Engineering.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aProgramming Techniques.
7001 . ‡aFilé, Gilberto. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540740605
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v4634
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74061-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a35654 ‡b ‡c35654 ‡tbiblio ‡sSystem Local

Additional Resources