Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 6 of 7
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers Cover Image E-book E-book

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Margaria, Tiziana. (editor.). Steffen, Bernhard. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540489290
  • Physical Description: IX, 197 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.

Search for related items by series

Electronic resources

Texto completo

Back To Results
Showing Item 6 of 7

Additional Resources