Formal System Verification

Formal System Verification

by: Rolf Drechsler

$20.00

Meet the seller

Active Yesterday
Greg Trost
(5)

Discover more

Formal System Verification

Formal System Verification

By: Rolf Drechsler

1 copy available

Pango Buyer Protection

PangoBooks money back guarantee. Learn more

Product Details

Category - Non Fiction / Computers

Format - Hardcover

Condition - Like New

Listed - A year ago

Views - 2

Ships From - New Mexico

Est. Publication Date - Jul 2017

Seller Description

Like new!

Overview

Formal System Verification: State-Of the-Art and Future Trends

Publisher Description

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest devel...

Read more

Be the first one to review

Review the book today!

Rate the book
See all
Undergraduate Algebraic Geometry

Miles Reid; C. M. Series; J. W. Bruce

Undergraduate Algebraic Geometry

$10.00
Collected Works of C. G. Jung, Volume 15

C. G. Jung; Gerhard Adler; R. F. C. Hull

Collected Works of C. G. Jung, Volume 15

$10.00
Discourses and Selected Writings

Epictetus

Discourses and Selected Writings

$10.00
The Embodied Mind

Francisco J. Varela; Eleanor Rosch; Evan T. Thompson

The Embodied Mind

$10.00
Formal System Verification

Rolf Drechsler

Formal System Verification

$20.00
Goethe's Faust

Edward F. Edinger

Goethe's Faust

$5.00
When the Light of the World Was Subdued, Our Songs Came Through

LeAnne Howe; Jennifer Foerster

When the Light of the World Was Subdued, Our Songs Came Through

$10.00
The Tipping Point

Malcolm Gladwell

The Tipping Point

$5.00
Revelations

Elaine Pagels

Revelations

$10.00
Raids on the Unspeakable

Thomas Merton

Raids on the Unspeakable

$10.00
Desert Solitaire

Edward Abbey

Desert Solitaire

$6.00
Depersonalization

Mauricio Sierra

Depersonalization

$15.00
Collected Works of C. G. Jung, Volume 9 (Part 1)

C. G. Jung; Gerhard Adler; R. F. C. Hull

Collected Works of C. G. Jung, Volume 9 (Part 1)

$20.00
Greek Gods and Heroes

Robert Graves

Greek Gods and Heroes

$3.00
Principles of Model Checking

Christel Baier; Joost-Pieter Katoen; Kim Guldstrand Larsen

Principles of Model Checking

$20.00$35.00
Tracking Medicine

John E. Wennberg

Tracking Medicine

$5.00
Deleuzism

Ian Buchanan

Deleuzism

$10.00
Circle Meadow

Geral Hausman

Circle Meadow

$8.00
Programming Language Pragmatics

Michael L. Scott

Programming Language Pragmatics

$20.00$35.00
Zen Words for the Heart

Norman Waddell

Zen Words for the Heart

$8.00

'Formal System Verification' readers also enjoyed:

A Court of Thorns and Roses

Sarah J. Maas

4.2

A Court of Thorns and Roses

$5.00$7.00
It Ends with Us

Colleen Hoover

3.9

It Ends with Us

$2.00
Cherokee America

Margaret Verble

Cherokee America

$3.00$4.00
House of Earth and Blood

Sarah J. Maas

4.3

House of Earth and Blood

$7.00
Tomorrow, and Tomorrow, and Tomorrow

Gabrielle Zevin

4.3

Tomorrow, and Tomorrow, and Tomorrow

$5.00
Fourth Wing

Rebecca Yarros

4.6

Fourth Wing

$7.50
Verity

Colleen Hoover

4.1

Verity

$4.00
The Seven Husbands of Evelyn Hugo

Taylor Jenkins Reid

4.5

The Seven Husbands of Evelyn Hugo

$6.00
The Housemaid

Freida McFadden

4.5

The Housemaid

$3.50
The Silent Patient

Alex Michaelides

4.2

The Silent Patient

$5.00
RN Adult Medical Surgical Nursing Edition 9. 0

Ascend Learning

RN Adult Medical Surgical Nursing Edition 9. 0

$25.00
Throne of Glass

Sarah J. Maas

4.4

Throne of Glass

$5.00
The Dragon and the Unicorn

A. A. Attanasio

The Dragon and the Unicorn

$5.00
,