Verfügbarkeit: The way of Z :: THWS Bibkatalog

The way of Z: practical programming with formal methods

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical system...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jacky, Jonathan (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge Cambridge University Press 1997
Schlagworte:	Z (Computer program language) Formal methods (Computer science) Z > Programmiersprache Formale Spezifikationstechnik
Online-Zugang:	BSB01 FHN01 Volltext
Zusammenfassung:	This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading
Beschreibung:	Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Beschreibung:	1 online resource (xviii, 350 pages)
ISBN:	9780511574924
DOI:	10.1017/CBO9780511574924

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043943479
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	161206s1997 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9780511574924 \|c Online \|9 978-0-511-57492-4
024	7		\|a 10.1017/CBO9780511574924 \|2 doi
035			\|a (ZDB-20-CBO)CR9780511574924
035			\|a (OCoLC)967778071
035			\|a (DE-599)BVBBV043943479
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-12 \|a DE-92
082	0		\|a 005.1/2 \|2 20
084			\|a ST 260 \|0 (DE-625)143632: \|2 rvk
100	1		\|a Jacky, Jonathan \|e Verfasser \|4 aut
245	1	0	\|a The way of Z \|b practical programming with formal methods \|c Jonathan Jacky
264		1	\|a Cambridge \|b Cambridge University Press \|c 1997
300			\|a 1 online resource (xviii, 350 pages)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Title from publisher's bibliographic system (viewed on 05 Oct 2015)
520			\|a This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading
650		4	\|a Z (Computer program language)
650		4	\|a Formal methods (Computer science)
650	0	7	\|a Z \|g Programmiersprache \|0 (DE-588)4225739-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a Z \|g Programmiersprache \|0 (DE-588)4225739-6 \|D s
689	0	1	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|D s
689	0		\|8 1\p \|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-0-521-55041-3
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-0-521-55976-8
856	4	0	\|u https://doi.org/10.1017/CBO9780511574924 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-20-CBO
999			\|a oai:aleph.bib-bvb.de:BVB01-029352450
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1017/CBO9780511574924 \|l BSB01 \|p ZDB-20-CBO \|q BSB_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9780511574924 \|l FHN01 \|p ZDB-20-CBO \|q FHN_PDA_CBO \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804176887392501760
any_adam_object
author	Jacky, Jonathan
author_facet	Jacky, Jonathan
author_role	aut
author_sort	Jacky, Jonathan
author_variant	j j jj
building	Verbundindex
bvnumber	BV043943479
classification_rvk	ST 260
collection	ZDB-20-CBO
ctrlnum	(ZDB-20-CBO)CR9780511574924 (OCoLC)967778071 (DE-599)BVBBV043943479
dewey-full	005.1/2
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1/2
dewey-search	005.1/2
dewey-sort	15.1 12
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1017/CBO9780511574924
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02884nmm a2200493zc 4500</leader><controlfield tag="001">BV043943479</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">161206s1997 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511574924</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-57492-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511574924</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511574924</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967778071</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043943479</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-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 260</subfield><subfield code="0">(DE-625)143632:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jacky, Jonathan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The way of Z</subfield><subfield code="b">practical programming with formal methods</subfield><subfield code="c">Jonathan Jacky</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 350 pages)</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="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Z (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</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="689" ind1="0" ind2="0"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-55041-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-55976-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511574924</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029352450</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511574924</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</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.1017/CBO9780511574924</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043943479
illustrated	Not Illustrated
indexdate	2024-07-10T07:39:19Z
institution	BVB
isbn	9780511574924
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029352450
oclc_num	967778071
open_access_boolean
owner	DE-12 DE-92
owner_facet	DE-12 DE-92
physical	1 online resource (xviii, 350 pages)
psigel	ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO
publishDate	1997
publishDateSearch	1997
publishDateSort	1997
publisher	Cambridge University Press
record_format	marc
spelling	Jacky, Jonathan Verfasser aut The way of Z practical programming with formal methods Jonathan Jacky Cambridge Cambridge University Press 1997 1 online resource (xviii, 350 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading Z (Computer program language) Formal methods (Computer science) Z Programmiersprache (DE-588)4225739-6 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Z Programmiersprache (DE-588)4225739-6 s Formale Spezifikationstechnik (DE-588)4299725-2 s 1\p DE-604 Erscheint auch als Druckausgabe 978-0-521-55041-3 Erscheint auch als Druckausgabe 978-0-521-55976-8 https://doi.org/10.1017/CBO9780511574924 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Jacky, Jonathan The way of Z practical programming with formal methods Z (Computer program language) Formal methods (Computer science) Z Programmiersprache (DE-588)4225739-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd
subject_GND	(DE-588)4225739-6 (DE-588)4299725-2
title	The way of Z practical programming with formal methods
title_auth	The way of Z practical programming with formal methods
title_exact_search	The way of Z practical programming with formal methods
title_full	The way of Z practical programming with formal methods Jonathan Jacky
title_fullStr	The way of Z practical programming with formal methods Jonathan Jacky
title_full_unstemmed	The way of Z practical programming with formal methods Jonathan Jacky
title_short	The way of Z
title_sort	the way of z practical programming with formal methods
title_sub	practical programming with formal methods
topic	Z (Computer program language) Formal methods (Computer science) Z Programmiersprache (DE-588)4225739-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd
topic_facet	Z (Computer program language) Formal methods (Computer science) Z Programmiersprache Formale Spezifikationstechnik
url	https://doi.org/10.1017/CBO9780511574924
work_keys_str_mv	AT jackyjonathan thewayofzpracticalprogrammingwithformalmethods

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge