Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Formal Methods in Computer-Aided Design Prag (VerfasserIn)
Weitere Verfasser: Narodytska, Nina (HerausgeberIn), Rümmer, Philipp (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Wien TU Wien Academic Press 2024
Schriftenreihe:Conference series: formal methods in computer-aided design volume 5
Schlagworte:
Konferenzschrift > 14.10.2024-18.10.2024 > Prag
Online-Zugang:kostenfrei
kostenfrei
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV049947349
003 DE-604
007 cr|uuu---uuuuu
008 241112s2024 xx a||| o|||| 10||| eng d
020 |a 9783854480655  |c Online  |9 978-3-85448-065-5 
024 7 |a 20.500.12854/146882  |2 hdl 
035 |a (OCoLC)1477610324 
035 |a (DE-599)BVBBV049947349 
040 |a DE-604  |b ger  |e rda 
041 0 |a eng 
049 |a DE-210  |a DE-521  |a DE-1102  |a DE-1046  |a DE-1028  |a DE-1050  |a DE-573  |a DE-M347  |a DE-92  |a DE-1051  |a DE-898  |a DE-859  |a DE-860  |a DE-1049  |a DE-861  |a DE-863  |a DE-862  |a DE-Re13  |a DE-Y3  |a DE-255  |a DE-Y7  |a DE-Y2  |a DE-70  |a DE-2174  |a DE-127  |a DE-22  |a DE-155  |a DE-91  |a DE-384  |a DE-473  |a DE-19  |a DE-355  |a DE-703  |a DE-20  |a DE-706  |a DE-824  |a DE-29  |a DE-739 
111 2 |a International Conference on Formal Methods in Computer-Aided Design  |n 24.  |d 2024  |c Prag  |j Verfasser  |0 (DE-588)1348030046  |4 aut 
245 1 0 |a Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024  |c Nina Narodytska, Philipp Rümmer (eds.) 
246 1 |a Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design - FMCAD 2024 
264 1 |a Wien  |b TU Wien Academic Press  |c 2024 
300 |a 1 Online-Ressource  |b Illustrationen, Diagramme 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
338 |b cr  |2 rdacarrier 
490 0 |a Conference series: formal methods in computer-aided design  |v volume 5 
655 7 |0 (DE-588)1071861417  |a Konferenzschrift  |y 14.10.2024-18.10.2024  |z Prag  |2 gnd-content 
700 1 |a Narodytska, Nina  |4 edt 
700 1 |a Rümmer, Philipp  |0 (DE-588)1338208748  |4 edt 
856 4 0 |u https://doi.org/10.34727/2024/isbn.978-3-85448-065-5  |x Verlag  |z kostenfrei  |3 Volltext 
856 4 0 |u https://directory.doabooks.org/handle/20.500.12854/146882  |x Verlag  |z kostenfrei  |3 Volltext 
912 |a ZDB-94-OAB 
943 1 |a oai:aleph.bib-bvb.de:BVB01-035285431 

Datensatz im Suchindex

DE-BY-UBG_katkey 197301505
DE-BY-UBM_katkey 6696943
_version_ 1824050526490198016
adam_text
any_adam_object
author2 Narodytska, Nina
Rümmer, Philipp
author2_role edt
edt
author2_variant n n nn
p r pr
author_GND (DE-588)1338208748
author_corporate International Conference on Formal Methods in Computer-Aided Design Prag
author_corporate_role aut
author_facet Narodytska, Nina
Rümmer, Philipp
International Conference on Formal Methods in Computer-Aided Design Prag
author_sort International Conference on Formal Methods in Computer-Aided Design Prag
building Verbundindex
bvnumber BV049947349
collection ZDB-94-OAB
ctrlnum (OCoLC)1477610324
(DE-599)BVBBV049947349
doi_str_mv 10.34727/2024/isbn.978-3-85448-065-5
format Electronic
Conference Proceeding
eBook
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV049947349</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">241112s2024 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783854480655</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-85448-065-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">20.500.12854/146882</subfield><subfield code="2">hdl</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1477610324</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049947349</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-Re13</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-255</subfield><subfield code="a">DE-Y7</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-2174</subfield><subfield code="a">DE-127</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Formal Methods in Computer-Aided Design</subfield><subfield code="n">24.</subfield><subfield code="d">2024</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1348030046</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024</subfield><subfield code="c">Nina Narodytska, Philipp Rümmer (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2=" "><subfield code="a">Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design - FMCAD 2024</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wien</subfield><subfield code="b">TU Wien Academic Press</subfield><subfield code="c">2024</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield><subfield code="b">Illustrationen, Diagramme</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Conference series: formal methods in computer-aided design</subfield><subfield code="v">volume 5</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">14.10.2024-18.10.2024</subfield><subfield code="z">Prag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Narodytska, Nina</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rümmer, Philipp</subfield><subfield code="0">(DE-588)1338208748</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.34727/2024/isbn.978-3-85448-065-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://directory.doabooks.org/handle/20.500.12854/146882</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035285431</subfield></datafield></record></collection>
genre (DE-588)1071861417 Konferenzschrift 14.10.2024-18.10.2024 Prag gnd-content
genre_facet Konferenzschrift 14.10.2024-18.10.2024 Prag
id DE-604.BV049947349
illustrated Illustrated
indexdate 2025-02-14T17:17:08Z
institution BVB
institution_GND (DE-588)1348030046
isbn 9783854480655
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-035285431
oclc_num 1477610324
open_access_boolean 1
owner DE-210
DE-521
DE-1102
DE-1046
DE-1028
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-BY-UBR
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-BY-FWS
DE-862
DE-BY-FWS
DE-Re13
DE-BY-UBR
DE-Y3
DE-255
DE-Y7
DE-Y2
DE-70
DE-2174
DE-127
DE-22
DE-BY-UBG
DE-155
DE-BY-UBR
DE-91
DE-BY-TUM
DE-384
DE-473
DE-BY-UBG
DE-19
DE-BY-UBM
DE-355
DE-BY-UBR
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
owner_facet DE-210
DE-521
DE-1102
DE-1046
DE-1028
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-BY-UBR
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-BY-FWS
DE-862
DE-BY-FWS
DE-Re13
DE-BY-UBR
DE-Y3
DE-255
DE-Y7
DE-Y2
DE-70
DE-2174
DE-127
DE-22
DE-BY-UBG
DE-155
DE-BY-UBR
DE-91
DE-BY-TUM
DE-384
DE-473
DE-BY-UBG
DE-19
DE-BY-UBM
DE-355
DE-BY-UBR
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
physical 1 Online-Ressource Illustrationen, Diagramme
psigel ZDB-94-OAB
publishDate 2024
publishDateSearch 2024
publishDateSort 2024
publisher TU Wien Academic Press
record_format marc
series2 Conference series: formal methods in computer-aided design
spellingShingle Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
subject_GND (DE-588)1071861417
title Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
title_alt Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design - FMCAD 2024
title_auth Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
title_exact_search Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
title_full Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 Nina Narodytska, Philipp Rümmer (eds.)
title_fullStr Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 Nina Narodytska, Philipp Rümmer (eds.)
title_full_unstemmed Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 Nina Narodytska, Philipp Rümmer (eds.)
title_short Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
title_sort proceedings of the 24th conference on formal methods in computer aided design fmcad 2024
topic_facet Konferenzschrift 14.10.2024-18.10.2024 Prag
url https://doi.org/10.34727/2024/isbn.978-3-85448-065-5
https://directory.doabooks.org/handle/20.500.12854/146882
work_keys_str_mv AT internationalconferenceonformalmethodsincomputeraideddesignprag proceedingsofthe24thconferenceonformalmethodsincomputeraideddesignfmcad2024
AT narodytskanina proceedingsofthe24thconferenceonformalmethodsincomputeraideddesignfmcad2024
AT rummerphilipp proceedingsofthe24thconferenceonformalmethodsincomputeraideddesignfmcad2024

Ähnliche Einträge