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.

Abrial, Jean-Raymond. (editor.). Glässer, Uwe. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642114472
  • Physical Description: XVI, 235p. 43 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Search for related items by subject

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.

Search for related items by series

Electronic resources

Texto completo


Additional Resources