Eine formale algorithmische Synthese digitaler Schaltungen /

Eine formale algorithmische Synthese digitaler Schaltungen / / Kai Kapp.

Show other versions (1)

Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überw...

Full description

Saved in:
Bibliographic Details
VerfasserIn:
Kapp, Kai,
Place / Publishing House:[Place of publication not identified] : : KIT Scientific Publishing,, 2005.
Year of Publication:2005
Language:German
Physical Description:1 online resource (iv, 177 pages)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993603572304498
ctrlnum (CKB)5400000000046292
(NjHacI)995400000000046292
(EXLCZ)995400000000046292
collection bib_alma
record_format marc
spelling Kapp, Kai, author.
Eine formale algorithmische Synthese digitaler Schaltungen / Kai Kapp.
[Place of publication not identified] : KIT Scientific Publishing, 2005.
1 online resource (iv, 177 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Description based on publisher supplied metadata and other sources.
Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwindung vieler existierenden Einschränkungen in der formalen algorithmischen Synthese vor. Es erlaubt über die Synthese reiner Datenflussbeschreibungen hinaus auch die vollautomatische formale Synthese steuerflussbehafteter Schaltungsspezifikationen.
Information technology.
Digital communications.
1000003729
language German
format eBook
author Kapp, Kai,
spellingShingle Kapp, Kai,
Eine formale algorithmische Synthese digitaler Schaltungen /
author_facet Kapp, Kai,
author_variant k k kk
author_role VerfasserIn
author_sort Kapp, Kai,
title Eine formale algorithmische Synthese digitaler Schaltungen /
title_full Eine formale algorithmische Synthese digitaler Schaltungen / Kai Kapp.
title_fullStr Eine formale algorithmische Synthese digitaler Schaltungen / Kai Kapp.
title_full_unstemmed Eine formale algorithmische Synthese digitaler Schaltungen / Kai Kapp.
title_auth Eine formale algorithmische Synthese digitaler Schaltungen /
title_new Eine formale algorithmische Synthese digitaler Schaltungen /
title_sort eine formale algorithmische synthese digitaler schaltungen /
publisher KIT Scientific Publishing,
publishDate 2005
physical 1 online resource (iv, 177 pages)
isbn 1000003729
callnumber-first T - Technology
callnumber-subject T - General Technology
callnumber-label T58
callnumber-sort T 258.5 K377 42005
illustrated Not Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 004 - Data processing & computer science
dewey-full 004
dewey-sort 14
dewey-raw 004
dewey-search 004
work_keys_str_mv AT kappkai eineformalealgorithmischesynthesedigitalerschaltungen
AT kappkai formalealgorithmischesynthesedigitalerschaltungen
status_str n
ids_txt_mv (CKB)5400000000046292
(NjHacI)995400000000046292
(EXLCZ)995400000000046292
carrierType_str_mv cr
is_hierarchy_title Eine formale algorithmische Synthese digitaler Schaltungen /
_version_ 1796653226370531328
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01526nam a2200301 i 4500</leader><controlfield tag="001">993603572304498</controlfield><controlfield tag="005">20230625133930.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">230625s2005 xx o 000 0 ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5400000000046292</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(NjHacI)995400000000046292</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995400000000046292</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">NjHacI</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="c">NjHacl</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">T58.5</subfield><subfield code="b">.K377 2005</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kapp, Kai,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="5"><subfield code="a">Eine formale algorithmische Synthese digitaler Schaltungen /</subfield><subfield code="c">Kai Kapp.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Place of publication not identified] :</subfield><subfield code="b">KIT Scientific Publishing,</subfield><subfield code="c">2005.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (iv, 177 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwindung vieler existierenden Einschränkungen in der formalen algorithmischen Synthese vor. Es erlaubt über die Synthese reiner Datenflussbeschreibungen hinaus auch die vollautomatische formale Synthese steuerflussbehafteter Schaltungsspezifikationen.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Information technology.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Digital communications.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">1000003729</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-07-06 03:28:54 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-04 09:22:53 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5338148390004498&amp;Force_direct=true</subfield><subfield code="Z">5338148390004498</subfield><subfield code="b">Available</subfield><subfield code="8">5338148390004498</subfield></datafield></record></collection>

Similar Items