Location & Availability for: Runtime verification : third Internation

 Staff view

You must be logged in to Tag Records

Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /

Shaz Qadeer, Serdar Tasiran (eds.).

Book Cover
Names: Qadeer, Shaz. | Tasiran, Serdar.
Published: Berlin ; Springer, ©2013.
Series: Lecture notes in computer science ; 7687.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Computer software - Verification - Congresses. | Formal methods (Computer science) - Congresses. | Computer software - Testing - Congresses. | Software.
Genres: Congress. | Electronic books. | Conference papers and proceedings. | Computer software.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Runtime verification : third Internation