Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

By: Margaria, TizianaContributor(s): Steffen, Bernhard | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Communications in Computer and Information Science, 1865-0929 ; ; 17Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. Description: v.: digitalISBN: 9783540884798Subject(s): Computer science | Computer system performance | Software engineering | Computer simulation | Computer Science | Software Engineering | Programming Techniques | Software Engineering/Programming and Operating Systems | Models and Principles | Simulation and Modeling | System Performance and EvaluationOnline resources: Texto completo Access method: Restringido a usuarios de la UCA In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments on this title.

to post a comment.

Powered by Koha