Open Library logo
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 with:


Buy this book


Links (leaves Open Library)

There's no description for this book yet. Can you add one?
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

Download catalog record: RDF / JSON
July 29, 2014 Created by ImportBot import new book