Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 517 of 922
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 Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

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

Record details

  • ISBN: 9783642114472
  • Physical Description: electronic
    electronic resource
    access
    remote
    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

Back To Results
Showing Item 517 of 922

Additional Resources