Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
July 29, 2014 | History

Symbolic methods applied to formal verification and synthesis in embedded systems design 1 edition

Symbolic methods applied to formal verification and synthesis in embed ...
Karsten Strehl

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book


Links (leaves Open Library)

Well, gosh. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Symbolic methods applied to formal verification and synthesis in embedded systems design
Karsten Strehl

Published 2000 by Shaker Verlag in Aachen .
Written in English.

Edition Notes

Series
Berichte aus der Informatik, TIK-Schriftenreihe -- Nr. 36

The Physical Object

Pagination
Online-Ressource (158 S)
Number of pages
158

ID Numbers

Open Library
OL25564331M
Internet Archive
symbolicmethodsa00stre
ISBN 10
3826571932
ISBN 13
9783826571930
OCLC/WorldCat
838532721

History Created July 29, 2014 · 1 revision Download catalog record: RDF / JSON

July 29, 2014 Created by ImportBot import new book