Biblioteksøk
Vis søkeskjema
Søkeord
Søk
Nullstill filter
·
Nytt søk
Avgrens søket
Velg sortering
Sortering
Relevans (titler likest søkeord først)
Utgivelsesår (nyeste først)
Tittel
Person
Sortering
Søk kun i bestemt felt
Søk i alle felt
Tittel
Ord i tittel
Forfatter/Medvirkende
Emne/Omtalt
ISBN
Dewey-nr
Avgrens på brukernivå barn, voksen osv
Passer for
Barn og ungdom
Voksne
Avgrens på format. (Bok, DVD, Lydbok, etc.)
Alle formater/medier
Bøker
Lydbøker
Digitalt innhold
Blu-ray
DVD
Musikk - alle formater
Musikk på CD
Musikk på Vinyl
Musikk på DVD
Musikk på Blu-ray
Musikknoter
Tegneserier
Språkkurs
PC-spill
Playstation-spill
Xbox-spill
Nintendo-spill
Avgrens på språk
Alle språk
Norsk
Bokmål
Nynorsk
Engelsk
Svensk
Dansk
Afrikaans
Albansk
Amharisk
Arabisk
Armensk
Aserbadjansk
Asturiansk
Baskisk
Belarusisk
Bengali
Bosnisk
Bretonsk
Bulgarsk
Burmesisk
Cambodiansk
Dari
Dinka
Egyptisk
Engelsk (mellomengelsk)
Eskimo
Esperanto
Estisk
Etiopisk
Farsi
Filippinsk
Finsk
Flamsk
Flerspråklig
Fransk
Færøysk
Gaelisk
Georgisk
Gresk, klassisk
Gresk, moderne
Grønlandsk
Gujarati
Hausa
Hebraisk
Hindi
Igbo
Inarisamisk
Indonesisk
Ingen
Irsk
Islandsk
Italiensk
Japansk
Katalansk
Kikongo
Kinesisk
Kinyarwanda
Kirundi
Koreansk
Kroatisk
Kurdisk
Kurmanji
Kvensk
Latin
Latvisk
Litauisk
Lulesamisk
Makedonsk
Montenegrinsk
Nederlandsk
Nepalesisk
Nordsamisk
Norrøn
Oromo
Panjabi
Pashto
Polsk
Portugisisk
Romani
Rumensk
Russisk
Samisk (andre)
Serbisk
Shona
Skoltesamisk
Slovakisk
Slovensk
Somalisk
Sorani
Spansk
Språk ikke angitt
Swahili
Sørsamisk
Tagalog
Tamil
Tatarisk
Thai
Tigrinja
Tsjekkisk
Twi
Tyrkisk
Tysk
Ubestemt
Uigurisk
Ukrainsk
Ungarsk
Urdu
Uten språklig innhold
Vietnamesisk
Walisisk
Wolof
Xhosa
Yoruba
Fra år
Til år
Skjul avgrensninger
22 treff
spesifikasjonsspråk
Tracesemantikk i PVS
Thomas Wold Hansen
Bok
·
Bokmål
·
2000
·
Vis mer
Bestill
Understanding Z : a specification language and its formal semantics
J. M. Spivey
Bok
·
Språk ikke angitt
·
1988
·
Vis mer
Bestill
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Workshop on Specification of Abstract Data Types
Bok
·
Engelsk
·
1996
·
Vis mer
Bestill
UML distilled : a brief guide to the standard object modeling language
Martin Fowler with Kendall Scott ; [forew...
Bok
·
Engelsk
·
2000
·
Vis mer
Bestill
Vis flere utgaver
Vis flere utgaver
CASL reference manual : the complete documentation of the Common Algebraic Specification Language
Peter D. Mosses (ed.)
Bok
·
Engelsk
·
2004
·
Vis mer
Bestill
Vis flere utgaver
Vis flere utgaver
Designing database applications with objects and rules : the IDEA methodology
Stefano Ceri and Piero Fraternali
Bok
·
Engelsk
·
1997
·
Vis mer
Bestill
Bringing design to software
edited by Terry Winograd ; with John Benn...
Bok
·
Engelsk
·
1996
·
Vis mer
Bestill
STAIRS : understanding and developing specifications expressed as UML interaction diagrams
Ragnhild Kobro Runde
Bok
·
Engelsk
·
2007
·
Vis mer
Bestill
Vis flere utgaver
Vis flere utgaver
CASL user manual : introduction to using the Common Algebraic Specification Language
Bidoit, M.
Bok
·
Engelsk
·
2004
·
Vis mer
Bestill
Vis flere utgaver
Vis flere utgaver
"UML" '99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
UML '99
Bok
·
Engelsk
·
1999
·
Vis mer
Bestill
Syntax and semantix of VVSL : a language for structured VDM specifications
Cornelis Adam Middelburg
Bok
·
Engelsk
·
1989
·
Vis mer
Bestill
Coordination languages and models : third international conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999 : proceedings
COORDINATION '99
Bok
·
Engelsk
·
1999
·
Vis mer
Bestill
A meta-language for UML concrete graphical syntax
Thomas Hemmingby Espe
Bok
·
Engelsk
·
2004
·
Vis mer
Bestill
The Object-Z specification language
by Graeme Smith
Bok
·
Engelsk
·
2000
·
Vis mer
Bestill
CafeOBJ report : the language, proof techniques and methodologies for object-oriented algebraic specification
by Răzvan Diaconescu, Kokichi Futatsugi
Bok
·
Engelsk
·
1998
·
Vis mer
Bestill
Restructuring SDL to improve readability
Ole Henrik Dahle
Bok
·
Engelsk
·
1999
·
Vis mer
Bestill
Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings
COORDINATION '97
Bok
·
Engelsk
·
1997
·
Vis mer
Bestill
Formal specification of distributed multimedia systems
Gordon Blair ... [et al.]
Bok
·
Engelsk
·
1998
·
Vis mer
Bestill
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications
Bok
·
Engelsk
·
1997
·
Vis mer
Bestill
Brug af OBJ3 som specifikationssprog og testomgivelse ved formel verifikation af cache-coherenceprotokollen i SCI
Anne Gudman Østergård Sørensen
Bok
·
Dansk
·
1995
·
Vis mer
Bestill
IVC '97 : proceedings
6th International Verilog HDL Conference,...
Bok
·
Engelsk
·
1997
·
Vis mer
Bestill
1 duplikater ble ikke vist. Disse kan ses i detaljert visning på de forskjellige titlene.
Biblioteksøk
Meny
Startside
Lånekurv
English
Nynorsk
Davvisámegillii (Nordsamisk)
Valgt språk:Bokmål
Min profil
Logg inn
Lukk meny