Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Formal Approaches to Software Testing and Runtime Verification Электронный ресурс First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers edited by Klaus Havelund,

By: Havelund, KlausContributor(s): Núñez, Manuel | Rosu, Grigore | Wolff, Burkhart | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006ISBN: 9783540497035Subject(s): Computer Science | Information systems | Logic design | Software engineering | Computer Science | Logics and Meanings of Programs | Management of Computing and Information Systems | Programming Languages, Compilers, Interpreters | Software EngineeringOnline resources: Click here to access online In: Springer e-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.