0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Runtime Verification - 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Paperback, 2007 ed.) Loot Price: R1,557
Discovery Miles 15 570
Runtime Verification - 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers...

Runtime Verification - 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Paperback, 2007 ed.)

Oleg Sokolsky, Serdar Tasiran

Series: Programming and Software Engineering, 4839

 (sign in to rate)
Loot Price R1,557 Discovery Miles 15 570 | Repayment Terms: R146 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development.

The 16 revised full papers presented together with 1 invited paper were carefully selected from 29 initial submissions. The subject covers several technical fields such as specification languages and logics, aspect oriented languages with trace predicates, program instrumentation in general, program guidance in general, combining static and dynamic analysis, and dynamic program analysis. There are 7 papers that focus on aspect-oriented programming followed by 9 papers which place emphasis on core runtime verification.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Programming and Software Engineering, 4839
Release date: December 2007
First published: 2007
Editors: Oleg Sokolsky • Serdar Tasiran
Dimensions: 235 x 155 x 12mm (L x W x T)
Format: Paperback
Pages: 218
Edition: 2007 ed.
ISBN-13: 978-3-540-77394-8
Categories: Books > Computing & IT > Computer programming > Programming languages > General
LSN: 3-540-77394-0
Barcode: 9783540773948

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,561 Discovery Miles 25 610
C++ Programming - Program Design…
D. Malik Paperback R1,728 R1,490 Discovery Miles 14 900
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,893 Discovery Miles 18 930
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Introduction to Programming with C…
Diane Zak Paperback R1,409 R1,217 Discovery Miles 12 170
VBA and Macros for Microsoft Office…
Bill Jelen, Tracy Syrstad Paperback R1,252 Discovery Miles 12 520
Natural Language Processing with Python…
Nirant Kasliwal Paperback R804 Discovery Miles 8 040
Corfu Banquet - A Memoir with Seasonal…
Emma Tennant Electronic book text  (2)
R69 Discovery Miles 690
C++ for Everyone
Cay S. Horstmann Paperback R4,168 Discovery Miles 41 680
Blender 2D Animation - The Complete…
John M. Blain Hardcover R3,554 Discovery Miles 35 540
Prolog Programming for Artificial…
Ivan Bratko Paperback R2,307 Discovery Miles 23 070
Introduction to the Art of Programming…
Mark C. Lewis Paperback R2,674 Discovery Miles 26 740

See more

Partners