Magnificent Marvel Supersale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Interviews | March 10, 2015

    Shawn Donley: IMG Claire Fuller: The Powells.com Interview



    Claire FullerOur Endless Numbered Days tells the story of eight-year-old Peggy and her survivalist father, James, who inexplicably leave behind their London home... Continue »

    spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

by

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008.The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

Product Details

ISBN:
3330000242972
Subtitle:
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008: Selected Papers
Publisher:
Springer
Author:
Leucker, Martin
Subject:
Computer Science
Subject:
Programming - Systems Analysis & Design
Subject:
Programming - Software Development
Subject:
Software Development & Engineering - Systems
Subject:
Software Development & Engineering - General
Subject:
Programming Languages - General
Subject:
main_subject
Subject:
all_subjects
Publication Date:
2008
Binding:
ELECTRONIC
Language:
English
Pages:
187

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Algorithms
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Quality Assurance and Testing
Computers and Internet » Software Engineering » Systems Analysis and Design

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
0 stars - 0 reviews
$ In Stock
Product details 187 pages Springer - English 3330000242972 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.