Availability: Synthesis of finite state machines | Technische Universität München

Synthesis of finite state machines: functional optimization

Saved in:

Bibliographic Details
Main Authors:	Kam, Timothy (Author), Villa, Tiziano (Author), Brayton, Robert K. (Author)
Format:	Book
Language:	English
Published:	Berlin Springer 2010
Physical Description:	296 S.
ISBN:	1441951709 9781441951700

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV036795722
003	DE-604
005	00000000000000.0
007	t\|
008	101124s2010 xx \|\|\|\| 00\|\|\| eng d
020			\|a 1441951709 \|9 1-4419-5170-9
020			\|a 9781441951700 \|9 978-1-4419-5170-0
035			\|a (OCoLC)706007388
035			\|a (DE-599)BVBBV036795722
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
100	1		\|a Kam, Timothy \|e Verfasser \|4 aut
245	1	0	\|a Synthesis of finite state machines \|b functional optimization \|c von Timothy Kam, Tiziano Villa, Robert K. Brayton
264		1	\|a Berlin \|b Springer \|c 2010
300			\|a 296 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
700	1		\|a Villa, Tiziano \|e Verfasser \|4 aut
700	1		\|a Brayton, Robert K. \|e Verfasser \|4 aut
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020712040

Record in the Search Index

_version_	1818970802990612480
any_adam_object
author	Kam, Timothy Villa, Tiziano Brayton, Robert K.
author_facet	Kam, Timothy Villa, Tiziano Brayton, Robert K.
author_role	aut aut aut
author_sort	Kam, Timothy
author_variant	t k tk t v tv r k b rk rkb
building	Verbundindex
bvnumber	BV036795722
ctrlnum	(OCoLC)706007388 (DE-599)BVBBV036795722
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00860nam a2200277 c 4500</leader><controlfield tag="001">BV036795722</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">101124s2010 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1441951709</subfield><subfield code="9">1-4419-5170-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441951700</subfield><subfield code="9">978-1-4419-5170-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)706007388</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036795722</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kam, Timothy</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Synthesis of finite state machines</subfield><subfield code="b">functional optimization</subfield><subfield code="c">von Timothy Kam, Tiziano Villa, Robert K. Brayton</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">296 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Villa, Tiziano</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brayton, Robert K.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020712040</subfield></datafield></record></collection>
id	DE-604.BV036795722
illustrated	Not Illustrated
indexdate	2024-12-20T14:42:17Z
institution	BVB
isbn	1441951709 9781441951700
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020712040
oclc_num	706007388
open_access_boolean
physical	296 S.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
spelling	Kam, Timothy Verfasser aut Synthesis of finite state machines functional optimization von Timothy Kam, Tiziano Villa, Robert K. Brayton Berlin Springer 2010 296 S. txt rdacontent n rdamedia nc rdacarrier Villa, Tiziano Verfasser aut Brayton, Robert K. Verfasser aut
spellingShingle	Kam, Timothy Villa, Tiziano Brayton, Robert K. Synthesis of finite state machines functional optimization
title	Synthesis of finite state machines functional optimization
title_auth	Synthesis of finite state machines functional optimization
title_exact_search	Synthesis of finite state machines functional optimization
title_full	Synthesis of finite state machines functional optimization von Timothy Kam, Tiziano Villa, Robert K. Brayton
title_fullStr	Synthesis of finite state machines functional optimization von Timothy Kam, Tiziano Villa, Robert K. Brayton
title_full_unstemmed	Synthesis of finite state machines functional optimization von Timothy Kam, Tiziano Villa, Robert K. Brayton
title_short	Synthesis of finite state machines
title_sort	synthesis of finite state machines functional optimization
title_sub	functional optimization
work_keys_str_mv	AT kamtimothy synthesisoffinitestatemachinesfunctionaloptimization AT villatiziano synthesisoffinitestatemachinesfunctionaloptimization AT braytonrobertk synthesisoffinitestatemachinesfunctionaloptimization

Availability

MARC

Record in the Search Index

‌