Normal view MARC view ISBD view

Leveraging Applications of Formal Methods [Recurso electrónico] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers edited by Tiziana Maragria, Bernhard Steffen.

Maragria, Tiziana.
Contributor(s): Steffen, Bernhard | SpringerLink (Online service).
Material type: materialTypeLabelComputer file; Format: electronic available online remoteSeries: Lecture Notes in Computer Science, 4313.Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Description: v.: digital.ISBN: 9783540489290.Subject(s): Computer science | Logic design | Software engineering | Software engineering | Computer Science | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software Engineering | Special Purpose and Application-Based SystemsOnline resources: Texto completo In: Springer e-books
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Enhanced descriptions from Syndetics:

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha