Abrial, Jean-Raymond.
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / [electronic resource] : edited by Jean-Raymond Abrial, Uwe Glässer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5115 0302-9743 ; . - Lecture Notes in Computer Science, 5115 .
9783642114472
10.1007/978-3-642-11447-2 doi
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.
QA75.5-76.95
004.0151
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / [electronic resource] : edited by Jean-Raymond Abrial, Uwe Glässer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5115 0302-9743 ; . - Lecture Notes in Computer Science, 5115 .
9783642114472
10.1007/978-3-642-11447-2 doi
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.
QA75.5-76.95
004.0151