Fencing programs with self-invalidation and self-downgrade

LIBRIS Formathandbok (Information om MARC21)

Fältnamn	Indikatorer	Metadata
000		01668naa a2200337 4500
001		oai:DiVA.org:uu-300663
003		SwePub
008		160810s2016 \| \|\|\|\|\|\|\|\|\|\|\|000 \|\|eng\|
024	7	a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3006632 URI
024	7	a https://doi.org/10.1007/978-3-319-39570-8_22 DOI
040		a (SwePub)uu
041		a eng
042		9 SwePub
072	7	a ref2 swepub-contenttype
072	7	a kon2 swepub-publicationtype
100	1	a Abdulla, Parosh Azizu Uppsala universitet,Datorteknik4 aut0 (Swepub:uu)parosha
245	1 0	a Fencing programs with self-invalidation and self-downgrade
264		c 2016-05-24
264	1	a Cham :b Springer,c 2016
338		a print2 rdacarrier
650	7	a NATURVETENSKAPx Data- och informationsvetenskapx Datorteknik0 (SwePub)102062 hsv//swe
650	7	a NATURAL SCIENCESx Computer and Information Sciencesx Computer Engineering0 (SwePub)102062 hsv//eng
700	1	a Atig, Mohamed Faouziu Uppsala universitet,Datorteknik4 aut0 (Swepub:uu)mohat117
700	1	a Kaxiras, Stefanosu Uppsala universitet,Datorarkitektur och datorkommunikation4 aut0 (Swepub:uu)steka984
700	1	a Leonardsson, Carlu Uppsala universitet,Datorteknik4 aut0 (Swepub:uu)carle968
700	1	a Ros, Alberto4 aut
700	1	a Zhu, Yunyunu Uppsala universitet,Datorteknik4 aut0 (Swepub:uu)yunzh803
710	2	a Uppsala universitetb Datorteknik4 org
773	0	t Formal Techniques for Distributed Objects, Components, and Systemsd Cham : Springerg , s. 19-35q <19-35z 9783319395692
856	4 8	u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-300663
856	4 8	u https://doi.org/10.1007/978-3-319-39570-8_2

Av författaren/redakt...: Abdulla, Parosh ...; Atig, Mohamed Fa ...; Kaxiras, Stefano ...; Leonardsson, Car ...; Ros, Alberto; Zhu, Yunyun

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.