Catalog

Record Details

Catalog Search


Search Results Showing Item 135 of 439

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Keller, Hubert B. (editor.). Plödereder, Erhard. (editor.). Dencker, Peter. (editor.). Klenk, Herbert. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642386015
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 177 p. 50 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science
Software engineering
Logic design
Computer Science
Programming Languages, Compilers, Interpreters
Software Engineering
Special Purpose and Application-Based Systems
Logics and Meanings of Programs
Search Results Showing Item 135 of 439

Additional Resources