Formal methods in system design.

Peer Reviewed

Formal methods in system design.

Saved in:
Bibliographic Details
Publication history:Began with v. 1, no. 1 (July 1992).
Language:English
Notes:Refereed/Peer-reviewed
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993572143104498
lccn 2008233905
ctrlnum (OCoLC)37915762
(CKB)954926987115
(CONSER) 2008233905
(DE-599)ZDB1479899-2
(EXLCZ)99954926987115
collection bib_alma
record_format marc
spelling Formal methods in system design (Online)
Formal methods in system design.
Netherlands : Kluwer Academic Publishers
<2009-> : [Dordrecht] : Springer Netherlands
Bimonthly
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Began with v. 1, no. 1 (July 1992).
Description based on: Vol. 1, no. 1 (July 1992); title from journal contents page (SpringerLink, viewed Nov. 5, 2009).
Latest issue consulted: Vol. 35, no. 2 (Oct. 2009) (SpringerLink, viewed Nov. 5, 2009).
Refereed/Peer-reviewed
System design Periodicals.
Integrated circuits Verification Periodicals.
Systèmes, Conception de Périodiques.
0925-9856
language English
format Journal
title Formal methods in system design.
spellingShingle Formal methods in system design.
title_full Formal methods in system design.
title_fullStr Formal methods in system design.
title_full_unstemmed Formal methods in system design.
title_auth Formal methods in system design.
title_alt Formal methods in system design (Online)
title_new Formal methods in system design.
title_sort formal methods in system design.
publisher Kluwer Academic Publishers
Springer Netherlands
dateSpan Began with v. 1, no. 1 (July 1992).
issn 1572-8102
0925-9856
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 S88
genre_facet Periodicals.
Périodiques.
illustrated 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.21
dewey-sort 14.21
dewey-raw 004.21
dewey-search 004.21
oclc_num 37915762
work_keys_str_mv UT formalmethodsinsystemdesignonline
status_str n
ids_txt_mv (OCoLC)37915762
(CKB)954926987115
(CONSER) 2008233905
(DE-599)ZDB1479899-2
(EXLCZ)99954926987115
carrierType_str_mv cr
is_hierarchy_title Formal methods in system design.
_version_ 1796652556624068610
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01419nas a2200409 a 4500</leader><controlfield tag="001">993572143104498</controlfield><controlfield tag="005">20240413020454.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr mnu</controlfield><controlfield tag="008">971110c19929999ne br pso 0 a0eng c</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2008233905</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1479899-2</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">1572-8102</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37915762</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)954926987115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CONSER) 2008233905</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB1479899-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)99954926987115</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">pcc</subfield></datafield><datafield tag="050" ind1="1" ind2="4"><subfield code="a">QA76.9.S88</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004.21</subfield></datafield><datafield tag="130" ind1="0" ind2=" "><subfield code="a">Formal methods in system design (Online)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in system design.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Netherlands :</subfield><subfield code="b">Kluwer Academic Publishers</subfield></datafield><datafield tag="260" ind1="3" ind2=" "><subfield code="3">&lt;2009-&gt; :</subfield><subfield code="a">[Dordrecht] :</subfield><subfield code="b">Springer Netherlands</subfield></datafield><datafield tag="310" ind1=" " ind2=" "><subfield code="a">Bimonthly</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="362" ind1="1" ind2=" "><subfield code="a">Began with v. 1, no. 1 (July 1992).</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on: Vol. 1, no. 1 (July 1992); title from journal contents page (SpringerLink, viewed Nov. 5, 2009).</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Latest issue consulted: Vol. 35, no. 2 (Oct. 2009) (SpringerLink, viewed Nov. 5, 2009).</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Refereed/Peer-reviewed</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System design</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Systèmes, Conception de</subfield><subfield code="v">Périodiques.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="x">0925-9856</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">JOURNAL</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-04-14 02:58:09 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2012-02-26 01:22:59 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="j">Im ÖAW Netz verfügbar oder Zugriff via ÖAW-Shibboteth-Login</subfield><subfield code="i">SpringerLink - AutoHoldings</subfield><subfield code="P">SpringerLink Journals - AutoHoldings</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5341608360004498&amp;Force_direct=true</subfield><subfield code="Z">5341608360004498</subfield><subfield code="m"> Available from 01/02/1997 volume: 10 issue: 1 until 01/12/2021 volume: 59 issue: 1.</subfield><subfield code="b">Available</subfield><subfield code="8">5341608360004498</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="Z">5341608360004498</subfield><subfield code="A">1997</subfield><subfield code="B">2021</subfield><subfield code="G">10</subfield><subfield code="H">59</subfield><subfield code="I">1</subfield><subfield code="J">1</subfield></datafield></record></collection>

Similar Items