DAIMI PB¤A note on model checking the modal n-calculus

0,00 kr

950

ISBN

1219531

Specifikationer
Forlag	Aarhus University, Computer Science Department
Indbinding	12
Product Type	1
Sideantal	14
Oplag	0
Udgave	0
Sprog	eng
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	1219531
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	DAIMI PB¤A note on model checking the modal n-calculus	Når der er indlæst data fra Dansk Bogfortegnelse, er det ikke længere muligt at rette i dette felt.
Varetekst	DAIMI PB¤A note on model checking the modal n-; 279 (April 1	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	279 (April 1989)	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	DAIMI PB¤A note on model checking the modal n-calculus
BookScan-Titel	DAIMI PB¤A note on model checking the modal n-calculus; 279 (April 198
Ombyttes	No
Kan returneres	No
Kædetitel	False
Anden information	Serie¤Enkelte bind med udgiverbetegnelsen: Matematisk Institut, Aarhus Universitet, Datalogisk Afdeling, eller: Institute of Mathematics, University of Aarhus, Department of Computer Science
ForlagsNavn	Aarhus University, Computer Science Department	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	Aarhus Universitet Matematisk Institut Datalogisk Afdeling	Hvis udgivelsen er lavet i samarbejde med f.eks. en virksomhed, en fond eller ministerium mv. kan det sættes ind her.
Medforfatter	Glynn Winskel	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	14
LandId	131
ISSN	0105-8517
Decimalklasse	19.61
ThemaDBC	Forlaget
Hovedfaust	5 031 223 2
Bindfaust	0 700 948 8
FørsteUdgivÅr	1972
ÅrForSenesteOplag	1989	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	1972	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	2012-05-15
Forlagets adresse	Ny Munkegade, 8000 C	Adresse til forlaget. Oplysningen stammer fra DBC. Hvis oplysningen ajourføres sker det fra DBC.
Forlagets hjemsted	Aarhus	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)	1989
Ophavsangivelse	Glynn Winskel
Post status	n
Post Type	h
Periodicums frekvens	k
Indholdets form	Småtryk (Nationalbibliografien)
Festskrift	ikke festskrift
Periodicumtype	m
Skønlitterær form
Biografiform
Stor skrift	almindelig skriftstørrelse
Bibliografisk kategori	m
Udgivelsesstatus	c
Katalogiseringsniveau	Katalogisering, selvsyn
Generel materialebetegnelse	a
Supplerende generel materialebetegnelse
Specifik materialebetegnelse	xx
Supplerende specifik materialebetegnelse
Mellemoriginalens sprog	und
SprogIResumeer	und
Sprog_I_Undertekster	und
Trykkeri	Matematisk Inst., Århus
PeriodicaNumre	1-
Ugefortegnelse	DBF199009
Udgivelsesår	1972

Gå til slutningen af billedgalleriet

Gå til starten af billedgalleriet