An edition of Formal System Verification (2017)

Formal System Verification

State-of the-Art and Future Trends

by

  • 1 Want to read
Cover of: Formal System Verification by Rolf Drechsler, Rolf Drechsler
Locate

My Reading Lists:

Create a new list

Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 6, 2021 | History
Edit
An edition of Formal System Verification (2017)

Formal System Verification

State-of the-Art and Future Trends

by

  • 1 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Pages
200

Check nearby libraries

Buy this book

Subjects

Embedded computer systems, Ubiquitous computing
Edition Availability
Cover of: Formal System Verification
Formal System Verification: State-of the-Art and Future Trends
Aug 10, 2018, Springer
paperback
Cover of: Formal System Verification
Formal System Verification: State-Of the-Art and Future Trends
2017, Springer
in English

Add another edition?

Book Details

Edition Notes

Source title: Formal System Verification: State-of the-Art and Future Trends

Classifications

Library of Congress
TA1-2040

The Physical Object

Format
paperback
Number of pages
200

Edition Identifiers

Open Library
OL28184696M
ISBN 10
3319862235
ISBN 13
9783319862231

Work Identifiers

Work ID
OL20819169W

Source records

amazon.com record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
October 6, 2021 Edited by ImportBot import existing book
June 3, 2020 Created by ImportBot import new book