Book Reading Time
HomeSubjectsCalculatorAboutContact

Runtime Verification

Howard Barringer

Page count unavailable

Buy on Amazon
TwitterFacebookWhatsApp

Runtime Verification

by Howard Barringer

Published

2010

Publisher

Springer Berlin Heidelberg

ISBN-13

9783642166112

Subjects

Logic designComputer scienceSoftware engineeringComputer softwareComputer programsCongressesVerificationFormal methods (Computer science)TestingInformatiqueSystem design
View on Open Library →
You May Also Like
The Logic of Scientific Discovery

The Logic of Scientific Discovery

Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

How computers work

How computers work

Digital circuits and logic design

Digital circuits and logic design

An engineering approach to digital design

An engineering approach to digital design

Microprocessor logic design

Microprocessor logic design

Frequently Asked Questions

Who is the author of Runtime Verification?

Runtime Verification was written by Howard Barringer.

When was Runtime Verification published?

The publication date for this specific edition is 2010. The original work may have been published on a different date.

Book Reading Time

Calculate reading time for any book and discover your next great read — powered by Open Library's extensive database.

Quick Links

  • Home
  • Subjects
  • Reading Time Calculator
  • About
  • Contact
  • Privacy Policy
  • Terms & Conditions

Disclaimers

Estimates

Reading time estimates are for informational purposes only and not guaranteed to be accurate.

Affiliate Disclosure

As an Amazon Associate, I earn from qualifying purchases.

© 2026 Book Reading Time. All rights reserved.

Powered by Open Library