Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen.
By: Margaria, Tiziana.
Contributor(s): Steffen, Bernhard | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 4313.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540489290.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Logics and Meanings of Programs | Software Engineering | Programming Languages, Compilers, Interpreters | Special Purpose and Application-Based SystemsDDC classification: 005.1015113 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.