Sökning: onr:"swepub:oai:DiVA.org:uu-86460" > Executable Formal D...
Fältnamn | Indikatorer | Metadata |
---|---|---|
000 | 00812nam a2200205 4500 | |
001 | oai:DiVA.org:uu-86460 | |
003 | SwePub | |
008 | 061116s1991 | |||||||||||000 ||eng| | |
024 | 7 | a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-864602 URI |
040 | a (SwePub)uu | |
041 | a eng | |
042 | 9 SwePub | |
072 | 7 | a vet2 swepub-contenttype |
072 | 7 | a lic2 swepub-publicationtype |
100 | 1 | a Oestreicher, Larsu Uppsala universitet,Institutionen för informationsvetenskap,DSV4 aut0 (Swepub:uu)larsoest |
245 | 1 0 | a Executable Formal Descriptions for Software Design :b Logic and Logic Programming as a Design Tool |
264 | 1 | c 1991 |
338 | a print2 rdacarrier | |
710 | 2 | a Uppsala universitetb Institutionen för informationsvetenskap4 org |
856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-86460 |
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.