Holdings: Applications of formal methods

Applications of formal methods:

Saved in:

Bibliographic Details
Format:	Book
Language:	German
Published:	London u.a. Prentice Hall 1995
Edition:	1. publ.
Series:	Prentice Hall international series in computer science
Subjects:	Formele logica Programacao de computadores Software Systeemontwerp Computer software > Development Formal methods (Computer science) System design Systementwicklung Formale Spezifikationstechnik Softwareentwicklung
Physical Description:	XVII, 447 S. graph. Darst.
ISBN:	0133669491

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV010452123
003	DE-604
005	19951102
007	t
008	951026s1995 d\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 0133669491 \|9 0-13-366949-1
035			\|a (OCoLC)32469531
035			\|a (DE-599)BVBBV010452123
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
049			\|a DE-739 \|a DE-384 \|a DE-634 \|a DE-11 \|a DE-188
050		0	\|a QA76.9.S88
082	0		\|a 620/.0042/015113 \|2 20
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a ST 237 \|0 (DE-625)143623: \|2 rvk
245	1	0	\|a Applications of formal methods \|c ed. by Michael G. Hinchey ...
250			\|a 1. publ.
264		1	\|a London u.a. \|b Prentice Hall \|c 1995
300			\|a XVII, 447 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Prentice Hall international series in computer science
650		7	\|a Formele logica \|2 gtt
650		7	\|a Programacao de computadores \|2 larpcal
650		7	\|a Software \|2 gtt
650		7	\|a Systeemontwerp \|2 gtt
650		4	\|a Computer software \|x Development
650		4	\|a Formal methods (Computer science)
650		4	\|a System design
650	0	7	\|a Systementwicklung \|0 (DE-588)4126945-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	2		\|8 2\p \|5 DE-604
700	1		\|a Hinchey, Michael G. \|e Sonstige \|4 oth
999			\|a oai:aleph.bib-bvb.de:BVB01-006965084
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804124885223473152
any_adam_object
building	Verbundindex
bvnumber	BV010452123
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.S88
callnumber-search	QA76.9.S88
callnumber-sort	QA 276.9 S88
callnumber-subject	QA - Mathematics
classification_rvk	ST 230 ST 237
ctrlnum	(OCoLC)32469531 (DE-599)BVBBV010452123
dewey-full	620/.0042/015113
dewey-hundreds	600 - Technology (Applied sciences)
dewey-ones	620 - Engineering and allied operations
dewey-raw	620/.0042/015113
dewey-search	620/.0042/015113
dewey-sort	3620 242 515113
dewey-tens	620 - Engineering and allied operations
discipline	Informatik
edition	1. publ.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01937nam a2200541 c 4500</leader><controlfield tag="001">BV010452123</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951102 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951026s1995 d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0133669491</subfield><subfield code="9">0-13-366949-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32469531</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010452123</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S88</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620/.0042/015113</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 237</subfield><subfield code="0">(DE-625)143623:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications of formal methods</subfield><subfield code="c">ed. by Michael G. Hinchey ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 447 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="0" ind2=" "><subfield code="a">Prentice Hall international series in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formele logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systeemontwerp</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hinchey, Michael G.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006965084</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
id	DE-604.BV010452123
illustrated	Illustrated
indexdate	2024-07-09T17:52:46Z
institution	BVB
isbn	0133669491
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006965084
oclc_num	32469531
open_access_boolean
owner	DE-739 DE-384 DE-634 DE-11 DE-188
owner_facet	DE-739 DE-384 DE-634 DE-11 DE-188
physical	XVII, 447 S. graph. Darst.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Prentice Hall
record_format	marc
series2	Prentice Hall international series in computer science
spelling	Applications of formal methods ed. by Michael G. Hinchey ... 1. publ. London u.a. Prentice Hall 1995 XVII, 447 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Prentice Hall international series in computer science Formele logica gtt Programacao de computadores larpcal Software gtt Systeemontwerp gtt Computer software Development Formal methods (Computer science) System design Systementwicklung (DE-588)4126945-7 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Softwareentwicklung (DE-588)4116522-6 s 1\p DE-604 Systementwicklung (DE-588)4126945-7 s 2\p DE-604 Hinchey, Michael G. Sonstige oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Applications of formal methods Formele logica gtt Programacao de computadores larpcal Software gtt Systeemontwerp gtt Computer software Development Formal methods (Computer science) System design Systementwicklung (DE-588)4126945-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Softwareentwicklung (DE-588)4116522-6 gnd
subject_GND	(DE-588)4126945-7 (DE-588)4299725-2 (DE-588)4116522-6
title	Applications of formal methods
title_auth	Applications of formal methods
title_exact_search	Applications of formal methods
title_full	Applications of formal methods ed. by Michael G. Hinchey ...
title_fullStr	Applications of formal methods ed. by Michael G. Hinchey ...
title_full_unstemmed	Applications of formal methods ed. by Michael G. Hinchey ...
title_short	Applications of formal methods
title_sort	applications of formal methods
topic	Formele logica gtt Programacao de computadores larpcal Software gtt Systeemontwerp gtt Computer software Development Formal methods (Computer science) System design Systementwicklung (DE-588)4126945-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Softwareentwicklung (DE-588)4116522-6 gnd
topic_facet	Formele logica Programacao de computadores Software Systeemontwerp Computer software Development Formal methods (Computer science) System design Systementwicklung Formale Spezifikationstechnik Softwareentwicklung
work_keys_str_mv	AT hincheymichaelg applicationsofformalmethods

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items