Catalog

Record Details

Catalog Search



Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday  Cover Image E-book E-book

Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer.

Record details

  • ISBN: 9783642114472
  • Physical Description: XVI, 235p. 43 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science.
Information theory.
Computer software.
Electronic data processing.
Algorithms.
Computer Science.
Theory of Computation.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Mathematics of Computing.
Computing Methodologies.
Algorithms.

Electronic resources


LDR 01949nam a22005055i 4500
00138358
003CONS
00520131220064234.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642114472 ‡9978-3-642-11447-2
0247 . ‡a10.1007/978-3-642-11447-2 ‡2doi
035 . ‡a(DE-He213)978-3-642-11447-2
050 4. ‡aQA75.5-76.95
072 7. ‡aUY ‡2bicssc
072 7. ‡aUYA ‡2bicssc
072 7. ‡aCOM014000 ‡2bisacsh
072 7. ‡aCOM031000 ‡2bisacsh
1001 . ‡aAbrial, Jean-Raymond. ‡eeditor.
24510. ‡aRigorous Methods for Software Construction and Analysis ‡h[electronic resource] : ‡bEssays Dedicated to Egon Börger on the Occasion of His 60th Birthday / ‡cedited by Jean-Raymond Abrial, Uwe Glässer.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡aXVI, 235p. 43 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 ; ‡v5115
650 0. ‡aComputer science.
650 0. ‡aInformation theory.
650 0. ‡aComputer software.
650 0. ‡aElectronic data processing.
650 0. ‡aAlgorithms.
65014. ‡aComputer Science.
65024. ‡aTheory of Computation.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aMathematics of Computing.
65024. ‡aComputing Methodologies.
65024. ‡aAlgorithms.
7001 . ‡aGlässer, Uwe. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642114465
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5115
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-11447-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38358 ‡b ‡c38358 ‡tbiblio ‡sSystem Local

Additional Resources