Holdings: CASL reference manual

CASL reference manual: the complete documentation of the common algebraic specification language

Saved in:

Bibliographic Details
Format:	Electronic eBook
Language:	English
Published:	Berlin u.a. Springer 2004
Series:	Lecture notes in computer science 2960 : Tutorial
Subjects:	CASL CD-ROM
Online Access:	DE-91 DE-384 DE-19 DE-739 Volltext
Physical Description:	1 Online-Ressource (XVII, 528 S.)
ISBN:	3540213015
DOI:	10.1007/b96103

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV035073278
003	DE-604
005	20181011
007	cr\|uuu---uuuuu
008	080926s2004 gw o\|\|\|\| 00\|\|\| eng d
020			\|a 3540213015 \|9 3-540-21301-5
024	7		\|a 10.1007/b96103 \|2 doi
035			\|a (OCoLC)699824729
035			\|a (DE-599)BVBBV035073278
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
084			\|a DAT 335f \|2 stub
084			\|a DAT 358f \|2 stub
245	1	0	\|a CASL reference manual \|b the complete documentation of the common algebraic specification language \|c Peter D. Mosses (ed.)
264		1	\|a Berlin u.a. \|b Springer \|c 2004
300			\|a 1 Online-Ressource (XVII, 528 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2960 : Tutorial
650	0	7	\|a CASL \|0 (DE-588)4769218-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a CD-ROM \|0 (DE-588)4139307-7 \|2 gnd \|9 rswk-swf
689	0	0	\|a CASL \|0 (DE-588)4769218-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a CASL \|0 (DE-588)4769218-2 \|D s
689	1	1	\|a CD-ROM \|0 (DE-588)4139307-7 \|D s
689	1		\|5 DE-604
700	1		\|a Mosses, Peter D. \|d 1948- \|e Sonstige \|0 (DE-588)1089492286 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2960 : Tutorial \|w (DE-604)BV014880109 \|9 2960
856	4	0	\|u https://doi.org/10.1007/b96103 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016741638
966	e		\|u https://doi.org/10.1007/b96103 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b96103 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b96103 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b96103 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820875071562973184
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)1089492286
building	Verbundindex
bvnumber	BV035073278
classification_rvk	SS 4800
classification_tum	DAT 335f DAT 358f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)699824729 (DE-599)BVBBV035073278
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/b96103
format	Electronic 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">BV035073278</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181011</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">080926s2004 gw o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540213015</subfield><subfield code="9">3-540-21301-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b96103</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699824729</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035073278</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 358f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CASL reference manual</subfield><subfield code="b">the complete documentation of the common algebraic specification language</subfield><subfield code="c">Peter D. Mosses (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVII, 528 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">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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2960 : Tutorial</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CASL</subfield><subfield code="0">(DE-588)4769218-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">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mosses, Peter D.</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1089492286</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2960 : Tutorial</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2960</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b96103</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016741638</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b96103</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b96103</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b96103</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b96103</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV035073278
illustrated	Not Illustrated
index_date	2024-07-02T22:04:47Z
indexdate	2025-01-10T15:09:49Z
institution	BVB
isbn	3540213015
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016741638
oclc_num	699824729
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (XVII, 528 S.)
psigel	ZDB-2-LNC
publishDate	2004
publishDateSearch	2004
publishDateSort	2004
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	CASL reference manual the complete documentation of the common algebraic specification language Peter D. Mosses (ed.) Berlin u.a. Springer 2004 1 Online-Ressource (XVII, 528 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2960 : Tutorial CASL (DE-588)4769218-2 gnd rswk-swf CD-ROM (DE-588)4139307-7 gnd rswk-swf CASL (DE-588)4769218-2 s DE-604 CD-ROM (DE-588)4139307-7 s Mosses, Peter D. 1948- Sonstige (DE-588)1089492286 oth Lecture notes in computer science 2960 : Tutorial (DE-604)BV014880109 2960 https://doi.org/10.1007/b96103 Verlag Volltext
spellingShingle	CASL reference manual the complete documentation of the common algebraic specification language Lecture notes in computer science CASL (DE-588)4769218-2 gnd CD-ROM (DE-588)4139307-7 gnd
subject_GND	(DE-588)4769218-2 (DE-588)4139307-7
title	CASL reference manual the complete documentation of the common algebraic specification language
title_auth	CASL reference manual the complete documentation of the common algebraic specification language
title_exact_search	CASL reference manual the complete documentation of the common algebraic specification language
title_exact_search_txtP	CASL reference manual the complete documentation of the common algebraic specification language
title_full	CASL reference manual the complete documentation of the common algebraic specification language Peter D. Mosses (ed.)
title_fullStr	CASL reference manual the complete documentation of the common algebraic specification language Peter D. Mosses (ed.)
title_full_unstemmed	CASL reference manual the complete documentation of the common algebraic specification language Peter D. Mosses (ed.)
title_short	CASL reference manual
title_sort	casl reference manual the complete documentation of the common algebraic specification language
title_sub	the complete documentation of the common algebraic specification language
topic	CASL (DE-588)4769218-2 gnd CD-ROM (DE-588)4139307-7 gnd
topic_facet	CASL CD-ROM
url	https://doi.org/10.1007/b96103
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT mossespeterd caslreferencemanualthecompletedocumentationofthecommonalgebraicspecificationlanguage

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items