BRICS report series¤A constraint oriented proof methodology based on modal transition systems

0,00 kr

Udsolgt

ISBN

1202582

Specifikationer
ISBN-13	1202582
EAN	1202582
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	1348	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	1202582
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	BRICS report series¤A constraint oriented proof methodology based on modal transition systems	Når der er indlæst data fra Dansk Bogfortegnelse, er det ikke længere muligt at rette i dette felt.
Varetekst	BRICS report series¤A constraint oriented pro; RS-94/47	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	RS-94/47	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	BRICS report series¤A constraint oriented proof methodology based on modal transition systems
BookScan-Titel	BRICS report series¤A constraint oriented proof methodology ; RS-94/47
Ombyttes	No
Kan returneres	No
Kædetitel	False
Anden information	Serie¤BRICS: Basic Research in Computer Science¤Interne publikationer o.l. registreres ikke i: Dansk bogfortegnelse
ForlagsNavn	BRICS	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	Dansk Grundforskningsfond BRICS	Hvis udgivelsen er lavet i samarbejde med f.eks. en virksomhed, en fond eller ministerium mv. kan det sættes ind her.
Medforfatter	Kim G. Larsen¤Bernhard Steffen¤Carsten Weise	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	13
Illustrationsangivelser	Ill.ill.	Illustrationsangivelser. Der skal ikke være en detaljeret beskrivelse af hvor mange farvede, sort/hvide eller fotos der er. Angivelser som disse: ill. ill. i farver ill. med fotos ill. med kort og billeder er alt rigeligt. Der må ikke anvendes begreber som 'Rigt illustreret'.
LandId	131
ISSN	0909-0878
Decimalklasse	19.61
ThemaDBC	Forlaget
Hovedfaust	2 063 411 1
Bindfaust	2 086 962 3
FørsteUdgivÅr	1994
ÅrForSenesteOplag	1994	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	1994	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	2013-02-26
Forlagets adresse	Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, 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)	1994
Ophavsangivelse	Kim G. Larsen¤Bernhard Steffen¤Carsten Weise
Personnavn	Kim G. Larsen
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	p
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 Univ.
PeriodicaNumre	94/1-
Ugefortegnelse	DBF199514
Udgivelsesår	1994

Gå til slutningen af billedgalleriet

Gå til starten af billedgalleriet