Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme (Leitfäden und Monographien der Informatik) (German Edition)

0 avg rating
( 0 ratings by Goodreads )
 
9783519022497: Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme (Leitfäden und Monographien der Informatik) (German Edition)

Die Korrektheit eines digitalen Systems vollstandig nachzuweisen - dieses Problem, das von groem praktischen Interesse ist, wirft eine Reihe grund- legender Fragen der Modellierung von Hardware, der Entwicklung geeig- neter Reprasentationen, der Moglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einfuhrung fur diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Wahrend ein Buch uber dieses Thema - insbesondere auf Deutsch verfat - vor einigen Jahren noch etwas fast missionarisches gehabt hatte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen- zen und Veroffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur- sache einmal sicherlich in einem gesteigerten Problembewutsein, da man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, da das Problem der Verifikation fun- damental ist fur den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik fur komplexe digitale Systeme," die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, so- wie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverstandigung uber das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty fur die jahrelange Forderung mei- ner Arbeit. Er bot mir die Moglichkeit, meine Ideen uber die Verifikation digitaler Systeme wahrend meiner Zeit als Mitarbeiter und spater als Habi- litand am Institut fur Datentechnik der Technischen Hochschule Darmstadt zu entwickeln.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 69.95
US$ 56.43

Convert Currency

Shipping: US$ 11.89
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Hans Eveking
Published by Springer (1991)
ISBN 10: 3519022494 ISBN 13: 9783519022497
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1991. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783519022497

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 56.43
Convert Currency

Add to Basket

Shipping: US$ 11.89
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Eveking, Hans
Published by Vieweg+Teubner Verlag (2016)
ISBN 10: 3519022494 ISBN 13: 9783519022497
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783519022497_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.63
Convert Currency

Add to Basket

Shipping: US$ 5.11
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

HANS EVEKING
Published by Vieweg+Teubner Verlag (1991)
ISBN 10: 3519022494 ISBN 13: 9783519022497
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 1991. Paperback. Book Condition: NEW. 9783519022497 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0418055

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 58.53
Convert Currency

Add to Basket

Shipping: US$ 10.57
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Hans Eveking
Published by Springer (1991)
ISBN 10: 3519022494 ISBN 13: 9783519022497
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer, 1991. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783519022497

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.04
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Hans Eveking
Published by Springer
ISBN 10: 3519022494 ISBN 13: 9783519022497
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Book Condition: New. Paperback. 308 pages. Dimensions: 9.6in. x 6.7in. x 0.7in.Die Korrektheit eines digitalen Systems vollstndig nachzuweisen - dieses Problem, das von groem praktischen Interesse ist, wirft eine Reihe grund legender Fragen der Modellierung von Hardware, der Entwicklung geeig neter Reprsentationen, der Mglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einfhrung fr diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Whrend ein Buch ber dieses Thema - insbesondere auf Deutsch verfat - vor einigen Jahren noch etwas fast missionarisches gehabt htte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen zen und Verffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur sache einmal sicherlich in einem gesteigerten Problembewutsein, da man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, da das Problem der Verifikation fun damental ist fr den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung Entwurfsmethodik fr komplexe digitale Systeme, die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, so wie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverstndigung ber das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty fr die jahrelange Frderung mei ner Arbeit. Er bot mir die Mglichkeit, meine Ideen ber die Verifikation digitaler Systeme whrend meiner Zeit als Mitarbeiter und spter als Habi litand am Institut fr Datentechnik der Technischen Hochschule Darmstadt zu entwickeln. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783519022497

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 94.61
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Hans Eveking
Published by Vieweg+Teubner Verlag (1991)
ISBN 10: 3519022494 ISBN 13: 9783519022497
New Paperback Quantity Available: > 20
Print on Demand
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 1991. Paperback. Book Condition: New. 1991 ed.. Language: German . Brand New Book ***** Print on Demand *****.Die Korrektheit eines digitalen Systems vollstandig nachzuweisen - dieses Problem, das von groem praktischen Interesse ist, wirft eine Reihe grund- legender Fragen der Modellierung von Hardware, der Entwicklung geeig- neter Reprasentationen, der Moglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einfuhrung fur diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Wahrend ein Buch uber dieses Thema - insbesondere auf Deutsch verfat - vor einigen Jahren noch etwas fast missionarisches gehabt hatte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen- zen und Veroffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur- sache einmal sicherlich in einem gesteigerten Problembewutsein, da man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, da das Problem der Verifikation fun- damental ist fur den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung Entwurfsmethodik fur komplexe digitale Systeme, die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, so- wie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverstandigung uber das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty fur die jahrelange Forderung mei- ner Arbeit. Er bot mir die Moglichkeit, meine Ideen uber die Verifikation digitaler Systeme wahrend meiner Zeit als Mitarbeiter und spater als Habi- litand am Institut fur Datentechnik der Technischen Hochschule Darmstadt zu entwickeln. Bookseller Inventory # AAV9783519022497

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 93.61
Convert Currency

Add to Basket

Shipping: US$ 3.96
From United Kingdom to U.S.A.
Destination, Rates & Speeds