Automated Technology for Verification and Analysis

View on Open Library

Automated Technology for Verification and Analysis

by Doron A. Peled

No reviews yet

First published: 2005 1 language ISBN: 9783540319696

Subjects

Logic design Computer networks Computer science Software engineering Information storage and retrieval systems Automatic theorem proving Congresses

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Doron A. Peled

Model checking

Software Reliability Methods

Software Reliability Methods

Computer aided verification

Computer aided verification

Software Reliability Methods (Texts in Computer Science)

Software Reliability Methods (Texts in C...

Time for Verification

Time for Verification

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Dist...

You Might Also Like

More in Logic design

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

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)

The Logic of Scientific Discovery

The Logic of Scientific Discovery

Karl Popper

Digital Design

John F. Wakerly

Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek

Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev

How computers work

How computers work

Ron White