Verfügbarkeit: Practical formal methods with VDM | Technische Universität München

Practical formal methods with VDM:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Andrews, Derek (VerfasserIn), Ince, Darrel 1948- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	London u.a. McGraw-Hill 1991
Schriftenreihe:	McGraw-Hill international series in software engineering
Schlagwörter:	Software - Development - Mathematical models Computer software > Development Formal methods (Computer science)
Umfang:	XVI, 450 S.
ISBN:	0077072146

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV004727770
003	DE-604
005	00000000000000.0
007	t\|
008	920219s1991 xx \|\|\|\| 00\|\|\| eng d
020			\|a 0077072146 \|9 0-07-707214-6
035			\|a (OCoLC)22860754
035			\|a (DE-599)BVBBV004727770
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G \|a DE-739
050		0	\|a QA76.76.D47
082	0		\|a 005.1 \|2 20
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 310f \|2 stub
100	1		\|a Andrews, Derek \|e Verfasser \|4 aut
245	1	0	\|a Practical formal methods with VDM \|c Derek Andrews and Darrel Ince
264		1	\|a London u.a. \|b McGraw-Hill \|c 1991
300			\|a XVI, 450 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a McGraw-Hill international series in software engineering
650		4	\|a Software - Development - Mathematical models
650		4	\|a Computer software \|x Development
650		4	\|a Formal methods (Computer science)
700	1		\|a Ince, Darrel \|d 1948- \|e Verfasser \|0 (DE-588)123876478 \|4 aut
943	1		\|a oai:aleph.bib-bvb.de:BVB01-002907094

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 310f 2001 A 5549
DE-BY-TUM_katkey	543496
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040020246493
_version_	1821938345483173890
any_adam_object
author	Andrews, Derek Ince, Darrel 1948-
author_GND	(DE-588)123876478
author_facet	Andrews, Derek Ince, Darrel 1948-
author_role	aut aut
author_sort	Andrews, Derek
author_variant	d a da d i di
building	Verbundindex
bvnumber	BV004727770
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.76.D47
callnumber-search	QA76.76.D47
callnumber-sort	QA 276.76 D47
callnumber-subject	QA - Mathematics
classification_rvk	ST 230
classification_tum	DAT 310f
ctrlnum	(OCoLC)22860754 (DE-599)BVBBV004727770
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01145nam a2200361 c 4500</leader><controlfield tag="001">BV004727770</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">920219s1991 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0077072146</subfield><subfield code="9">0-07-707214-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22860754</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004727770</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</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">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Andrews, Derek</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical formal methods with VDM</subfield><subfield code="c">Derek Andrews and Darrel Ince</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">McGraw-Hill</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 450 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="490" ind1="0" ind2=" "><subfield code="a">McGraw-Hill international series in software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Development - Mathematical models</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="700" ind1="1" ind2=" "><subfield code="a">Ince, Darrel</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123876478</subfield><subfield code="4">aut</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002907094</subfield></datafield></record></collection>
id	DE-604.BV004727770
illustrated	Not Illustrated
indexdate	2024-12-20T08:22:03Z
institution	BVB
isbn	0077072146
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002907094
oclc_num	22860754
open_access_boolean
owner	DE-91G DE-BY-TUM DE-739
owner_facet	DE-91G DE-BY-TUM DE-739
physical	XVI, 450 S.
publishDate	1991
publishDateSearch	1991
publishDateSort	1991
publisher	McGraw-Hill
record_format	marc
series2	McGraw-Hill international series in software engineering
spellingShingle	Andrews, Derek Ince, Darrel 1948- Practical formal methods with VDM Software - Development - Mathematical models Computer software Development Formal methods (Computer science)
title	Practical formal methods with VDM
title_auth	Practical formal methods with VDM
title_exact_search	Practical formal methods with VDM
title_full	Practical formal methods with VDM Derek Andrews and Darrel Ince
title_fullStr	Practical formal methods with VDM Derek Andrews and Darrel Ince
title_full_unstemmed	Practical formal methods with VDM Derek Andrews and Darrel Ince
title_short	Practical formal methods with VDM
title_sort	practical formal methods with vdm
topic	Software - Development - Mathematical models Computer software Development Formal methods (Computer science)
topic_facet	Software - Development - Mathematical models Computer software Development Formal methods (Computer science)
work_keys_str_mv	AT andrewsderek practicalformalmethodswithvdm AT incedarrel practicalformalmethodswithvdm

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 310f 2001 A 5549 Lageplan
Exemplar 1	Ausleihbar Am Standort