Catalog

Record Details

Catalog Search


Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings Cover Image E-book E-book

Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning.

Pfenning, Frank. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642370755
  • Physical Description: XXIV, 451 p. 51 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

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

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01914nam a22004455i 4500
00133126
003CONS
00520130727075736.0
007cr nn 008mamaa
008130220s2013 gw | s |||| 0|eng d
020 . ‡a9783642370755 ‡9978-3-642-37075-5
0247 . ‡a10.1007/978-3-642-37075-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-37075-5
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aPfenning, Frank. ‡eeditor.
24510. ‡aFoundations of Software Science and Computation Structures ‡h[electronic resource] : ‡b16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / ‡cedited by Frank Pfenning.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2013.
300 . ‡aXXIV, 451 p. 51 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 ; ‡v7794
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aSoftware Engineering.
65024. ‡aComputation by Abstract Devices.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642370748
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7794
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-37075-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a33126 ‡b ‡c33126 ‡tbiblio ‡sSystem Local

Additional Resources