ID-TR¤An approach to the static semantics of VDM-SL

86,56 kr

Udsolgt

ISBN

1038505

Specifikationer
ISBN-13	1038505
EAN	1038505
Illustreret i farver/sh	Nej

Boginfo

Undskyldningskode	950	En lagerundskyldning skal bruges til at forklare, hvorfor netop denne varer ikke kan leveres. Dvs. at den hænger tæt sammen med valget af lagerstatus og egentlig først har relevans, den dag der ikke er flere eksemplarer på lager (lagerstatus = Ikke på lager). Du skal imidlertid altid vælge en lagerundskyldning, også selvom den først skal bruges i fremtiden. Klik på piletasten til højre, og du kan se en liste over alle de koder og forklaringer der findes. Er der et + ved talkoden (plus) betyder det, at forlaget gerne vil modtage bestillinger til senere levering dvs. restordre. Det vil typisk være, når du forbereder et nyt oplag (vælg kode 95) eller det er en Print-on-demand-udgivelse og derfor har lidt længere leveringstid (vælg kode 103 eller 104). Er der et – (minus) betyder det, at forlaget ikke ønsker at modtage flere bestillinger. Det vil typisk være, fordi varen er udsolgt fra forlaget (vælg kode 500) eller du forbereder en ny udgave (vælg kode 523). Husk at rette til noget mere meningsfyldt, når den nye udgave udkommer. Er dit produkt på lager (Lagerstatus 1) så er Lagerundskyldningen IKKE synlig for Boghandlerne. Den skal blot være der til fremtidig brug. Er dit produkt endnu ikke udkommet (Lagerstatus 2) så er Lagerundskyldningen synlig for boghandlere, der ser posten i Bogportalen.dk, men ikke for boghandlere der ser den i BiBi.
EkspeditionsID	1833	Du vælger forlagsekspedition samtidig med, at du vælger rabatkoden. Dine muligheder findes i rullelisten. Hvis dit forlag benytter sig af mere end én ekspedition, skal du være opmærksom på at vælge den rigtige. Du kan kun knytte én ekspedition til den enkelte post. Du kan altså ikke sige, at du både ekspederer fra forlagets adressen (egen ekspedition) og fra f.eks. DBK. Dine valgmuligheder afspejler de oplysninger, vi har modtaget om forlaget inden adgangen til ForlagOnline blev etableret. Hvis du skifter eksepedition, så husk at orientere os. Kun på den måde kan vi sikre, at du har de rigtige valgmuligheder.
Varetype	1
Materialekode	Papir-bog
BOPISBN13	1038505
Bogklubbog	ikke bogklubbog/vare.
Subskriptionsbog	ikke subskriptionsbog
Er varen til videresalg	Yes	Som udgangspunkt vil den udgivelse der oprettes være beregnet til videresalg. Dvs. at boghandleren hjemtager varen for at sælge den. I sjældne tilfælde er en oprettelse imidlertid ikke beregnet på videresalg. Det kan f.eks. være markedsføringsmaterialer, smudsomslag eller inventar til udstilling.
Titel	ID-TR¤An approach to the static semantics of VDM-SL	Når der er indlæst data fra Dansk Bogfortegnelse, er det ikke længere muligt at rette i dette felt.
Varetekst	ID-TR¤An approach to the static semantics of; 90 (1991)	Varetekst til fakturaer og varekartoteker. Teksten dannes automatisk og rummer elementer fra titel, undertitel, bind, serietitel, supplementstitel og nogle gange forfatterens efternavn. Vareteksten er maksimalt 60 karakterer lang.
Varetekst_Låst	Nej / ikke låst
Bind	90 (1991)	Benyttes hvis produktet er opdelt i bind, eller hvis det er del af en årgang. Det har ikke noget med indbindingen af bogen at gøre. Et felt til denne oplysning kommer et andet sted på siden.
Titel_Del_Hovedtitel	ID-TR¤An approach to the static semantics of VDM-SL
BookScan-Titel	ID-TR¤An approach to the static semantics of VDM-SL; 90 (1991)
Ombyttes	No
Kan returneres	No
Kædetitel	False
Anden information	Serie¤Engelsksprogede bind med udgiverbetegnelsen: Department of Computer Science, Technical University of Denmark¤Tidligere med udgiverbetegnelsen: Instituttet for Datateknik, Danmarks Tekniske Højskole
ForlagsNavn	Instituttet for Datateknik, Danmarks Tekniske Universitet	Her skrives forlagets navn sådan som det er trykt på bogens titelblad. Det er ikke muligt at ændre navnet i forbindelse med at udgivelsen overdrages fra et forlag til et andet.
Korporationsnavn	Danmarks Tekniske Universitet Instituttet for Datateknik	Hvis udgivelsen er lavet i samarbejde med f.eks. en virksomhed, en fond eller ministerium mv. kan det sættes ind her.
Medforfatter	Hans Bruun¤Bo Stig Hansen¤Flemming Damm	Når udgivelsen har mere end én forfatter skrives de alle i fri tekst med Fornavn efterfulgt af Efternavn og adskilt af komma. Bemærk, her skal kun skrives ophavspersonernes navne. F.eks.: Ole Olsen, Hans Hansen. Hvis her er tale om f.eks. en kunstnergruppe eller arbejdsgruppe fra en virksomhed, så skal oplysningen skrives i feltet Korporation. Du må ikke skrive og / & eller lignende imellem forfatterne. Er der mere end 5 forfattere, skal du i stedet bruge feltet ´Bidrag af´ og evt. kombineret med indhold i redaktør-feltet. Dette er ofte tilfældet ved antologier m.v. Vær opmærksom på, at ingen af forfatterne skal nævnes i felterne forfatter fornavn eller forfatter efternavn.
MusikGenre	-1
MusikType	-1
Indbindingsform	12	Paperback: Limet ryg og blødt omslag. Der kan være flapper Hardback: Limet ryg og stift omslag. Der kan være et smudsomslag, det er dog ikke standard Hæftet: Limet og syet i ryggen, blødt omslag. Meget ofte men ikke altid med flapper Indbundet: Limet og syet i ryggen, stift omslag. Nogle gange er der et smudsomslag. En indbundet bog der er limet og syet i ryggen kan have mange forskellige typer af omslag f.eks. lærred ofte kaldet shirting, skind i forskellige farver. Foruden de her nævnte eksempler er der mange andre muligheder. Åben rullemenuen og find det der passer til den aktuelle udgivelse.
Sider	47
LandId	131
ISSN	0902-2821
Decimalklasse	19.65
ThemaDBC	Forlaget
Hovedfaust	5 030 517 1
Bindfaust	0 723 753 7
FørsteUdgivÅr	1984
ÅrForSenesteOplag	1995	Der oplyses året for dette oplags trykning. Ved første oplag oplyses det samme årstal som udgivelsesåret for udgaven. Året for oplaget kan ikke være mindre end året for udgaven. Hvis du f.eks. har oplyst at første udgave udkom i 2011 og der kun er trykt det samme oplag, så skal år for oplaget mindst være 2011 eller senere år. Det kan ikke være 2010 eller være uden indhold. Ved en success kan man godt komme ud for at lave mere en et oplag i samme år. Det er altså ikke altid at oplagets år ændres selvom der er trykt i 2. eller flere oplag. Udgivelsesdatoen skal IKKE ændres, fordi du laver et nyt oplag af bogen. Den følger udgaven.
ÅrForUdgave	1984	Her oplyses den aktuelle udgaves år, sådan som det er trykt i kolofonen. Der kan godt være forskel på udgavens år og udgivelsesdatoen. Udgavens år kan ikke være højere end oplagets år. Det sker ganske ofte at en udgivelse der er planlagt til udgivelse omkring årsskiftet, har forskellige oplysninger om udgavens år og den dato, hvor bogen udkommer og dermed må sælges.
Udgivelsesland	dk
Hovedsprog	eng
SprogOriginaludgaven	und
Materialet sprog	dan
DagForSenesteÆndring	2014-06-17
Forlagets hjemsted	Lyngby	Forlaget hjemsted. Der kan være mere end én byoplysning i feltet. Oplysningen stammer fra DBC. Hvis oplysningen ajourføres sker det fra DBC.
År (fra DBC)	1991
Ophavsangivelse	Hans Bruun¤Bo Stig Hansen¤Flemming Damm
Personnavn	Hans Bruun
Post status	Ny post
Post Type	Hovedpost
Periodicums frekvens	Uregelmæssig
Indholdets form	Småtryk (Nationalbibliografien)
Festskrift	ikke festskrift
Periodicumtype	Monograph series
Stor skrift	almindelig skriftstørrelse
Bibliografisk kategori	periodicum
Udgivelsesstatus	Afsluttet periodicum
Katalogiseringsniveau	Katalogisering, selvsyn
EfterfølgendeUdgivelsesår	1995
Generel materialebetegnelse	tekst - tekst
Specifik materialebetegnelse	xx
Supplerende specifik materialebetegnelse
Mellemoriginalens sprog	und
SprogIResumeer	und
Sprog_I_Undertekster	und
Trykkeri	LTT Tryk, DTH, Lyngby
PeriodicaNumre	1 (1984)-171 (1995)
Ugefortegnelse	DBF199136 DPF199136
Udgivelsesår	1984

Gå til slutningen af billedgalleriet

Gå til starten af billedgalleriet