Holdings: Functional algorithms, verified!

Functional algorithms, verified!:

Saved in:

Bibliographic Details
Main Authors:	Nipkow, Tobias 1958- (Author), Blanchette, Jasmin (Author)
Format:	Electronic eBook
Language:	English
Published:	[Erscheinungsort nicht ermittelbar] [Verlag nicht ermittelbar] June 28, 2021
Online Access:	Volltext
Item Description:	"This book is meant to evolve over time."
Physical Description:	1 Online-Ressource

Staff View

MARC


LEADER	00000nmm a2200000 c 4500
001	BV047361321
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	210707s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
035			\|a (OCoLC)1260141691
035			\|a (DE-599)BVBBV047361321
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91G
100	1		\|a Nipkow, Tobias \|d 1958- \|e Verfasser \|0 (DE-588)17275660X \|4 aut
245	1	0	\|a Functional algorithms, verified! \|c Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
264		1	\|a [Erscheinungsort nicht ermittelbar] \|b [Verlag nicht ermittelbar] \|c June 28, 2021
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a "This book is meant to evolve over time."
700	1		\|a Blanchette, Jasmin \|e Verfasser \|0 (DE-588)132421801 \|4 aut
856	4	0	\|u https://functional-algorithms-verified.org/ \|x Verlag \|z kostenfrei \|3 Volltext
912			\|a ebook
999			\|a oai:aleph.bib-bvb.de:BVB01-032763298

Record in the Search Index

_version_	1804182592466976768
adam_txt
any_adam_object
any_adam_object_boolean
author	Nipkow, Tobias 1958- Blanchette, Jasmin
author_GND	(DE-588)17275660X (DE-588)132421801
author_facet	Nipkow, Tobias 1958- Blanchette, Jasmin
author_role	aut aut
author_sort	Nipkow, Tobias 1958-
author_variant	t n tn j b jb
building	Verbundindex
bvnumber	BV047361321
collection	ebook
ctrlnum	(OCoLC)1260141691 (DE-599)BVBBV047361321
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01100nmm a2200289 c 4500</leader><controlfield tag="001">BV047361321</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">210707s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1260141691</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047361321</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-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nipkow, Tobias</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)17275660X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Functional algorithms, verified!</subfield><subfield code="c">Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Erscheinungsort nicht ermittelbar]</subfield><subfield code="b">[Verlag nicht ermittelbar]</subfield><subfield code="c">June 28, 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">"This book is meant to evolve over time."</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Blanchette, Jasmin</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132421801</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://functional-algorithms-verified.org/</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032763298</subfield></datafield></record></collection>
id	DE-604.BV047361321
illustrated	Not Illustrated
index_date	2024-07-03T17:41:19Z
indexdate	2024-07-10T09:10:00Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032763298
oclc_num	1260141691
open_access_boolean	1
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	1 Online-Ressource
psigel	ebook
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	[Verlag nicht ermittelbar]
record_format	marc
spelling	Nipkow, Tobias 1958- Verfasser (DE-588)17275660X aut Functional algorithms, verified! Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan [Erscheinungsort nicht ermittelbar] [Verlag nicht ermittelbar] June 28, 2021 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier "This book is meant to evolve over time." Blanchette, Jasmin Verfasser (DE-588)132421801 aut https://functional-algorithms-verified.org/ Verlag kostenfrei Volltext
spellingShingle	Nipkow, Tobias 1958- Blanchette, Jasmin Functional algorithms, verified!
title	Functional algorithms, verified!
title_auth	Functional algorithms, verified!
title_exact_search	Functional algorithms, verified!
title_exact_search_txtP	Functional algorithms, verified!
title_full	Functional algorithms, verified! Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
title_fullStr	Functional algorithms, verified! Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
title_full_unstemmed	Functional algorithms, verified! Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
title_short	Functional algorithms, verified!
title_sort	functional algorithms verified
url	https://functional-algorithms-verified.org/
work_keys_str_mv	AT nipkowtobias functionalalgorithmsverified AT blanchettejasmin functionalalgorithmsverified

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