Catalog

Record Details

Catalog Search


Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Cover Image E-book E-book

Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.

Constable, Robert L. (editor.). Silva, Alexandra. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642294853
  • Physical Description: XIII, 357 p. 45 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

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

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Additional Content
► Shelf Browser
▼ MARC Record
LDR 01977nam a22005175i 4500
00142146
003CONS
00520131009045637.0
007cr nn 008mamaa
008120425s2012 gw | s |||| 0|eng d
020 . ‡a9783642294853 ‡9978-3-642-29485-3
0247 . ‡a10.1007/978-3-642-29485-3 ‡2doi
035 . ‡a(DE-He213)978-3-642-29485-3
050 4. ‡aQA76.9.L63
050 4. ‡aQA76.5913
050 4. ‡aQA76.63
072 7. ‡aUM ‡2bicssc
072 7. ‡aUYF ‡2bicssc
072 7. ‡aCOM051000 ‡2bisacsh
072 7. ‡aCOM036000 ‡2bisacsh
1001 . ‡aConstable, Robert L. ‡eeditor.
24510. ‡aLogic and Program Semantics ‡h[electronic resource] : ‡bEssays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / ‡cedited by Robert L. Constable, Alexandra Silva.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aXIII, 357 p. 45 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 ; ‡v7230
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aSoftware Engineering.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aProgramming Techniques.
7001 . ‡aSilva, Alexandra. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642294846
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7230
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-29485-3 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a42146 ‡b ‡c42146 ‡tbiblio ‡sSystem Local

Additional Resources