103 treff

spesifikasjon
Bevisstrategier i Larch ved bruk av generatorinduksjon
Rune Steinberg
Bok Bokmål 1995 · Vis mer
Overflatebehandling mot korrosjon
Dag Kjernsmo, Kjell Kleven, Jan Scheie
Bok Bokmål 1997 · Les boka på nett · Vis mer
Sammensetning av moduler i ABEL. 2. Vedlegg B
Kristoffersen, Bjørn
Bok Bokmål 1990 · Vis mer
Romsdals fattige og nødlidende almue : Det kongelige undsætningskorn 1773 : (Riksarkivet, Fogderegnskap, Romsdal 1773-74, dokument nr. 71 med vedlegg)
redigert av Bjørn Austigard
Bok Nynorsk 1990 · Les boka på nett · Vis mer
Vis flere utgaver
Vis flere utgaver
Formelle metoder av prototyping
av Stig Rønning
Bok Bokmål 1997 · Vis mer
Romsdals fattige og nødlidne Almue
Red;Bjørn Austigard
Bok Bokmål 1990 · Vis mer
1995 ASME Boiler and pressure vessel code : an international recognized code
The American society of mechanical engine...
Bok Norsk 1995 · Vis mer
Formell spesifisering og realisering av ISO OSI TP ved bruk av Estelle. 2. Appendiks A-E
Dragland, Sturla
Bok Bokmål 1991 · Vis mer
Formell spesifisering og realisering av ISO OSI TP ved bruk av Estelle. 3. Appendiks F og G
Dragland, Sturla
Bok Bokmål 1991 · Vis mer
1992 ASME Boiler & pressure vessel code : Rules for Construction of Pressure vessels
American Society of Mechanical Engineers
Bok Norsk 1992 · Vis mer
1989 ASME Boiler and Pressure Vessel Code : an American National Standard
American Society of Mechanical Engineers
Bok Norsk 1989 · Vis mer
Swagelok tube fitting and installation manual
by F.J. Callahan
Bok Uten språklig innhold 1985 · Vis mer
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings
Symposium on Theoretical Aspects of Computer Science
Bok Engelsk 1997 · Vis mer
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
The institution of multialgebras : a general framework for algebraic software development
Yngve Lamo
Bok Engelsk 2002 · Vis mer
ECOOP'97 - object-oriented programming : 11th European conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings
European Conference on Object-Oriented Programming
Bok Engelsk 1997 · Vis mer
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
International Colloquium on Automata, Languages and Programming
Bok Engelsk 1991 · Vis mer
Algebraic system specification and development : a survey and annotated bibliography
M. Bidoit ... [et al.] (eds.)
Bok Engelsk 1991 · Vis mer
Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report
Hartmut Ehrig ... [et al.] (eds.)
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998 · Vis mer
Competitive engineering : a handbook for systems engineering, requirements engineering, and software engineering using Planguage
Tom Gilb ; editor: Lindsey Brodie
Bok Engelsk 2005 · Vis mer
CASL reference manual : the complete documentation of the Common Algebraic Specification Language
Peter D. Mosses (ed.)
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
NS-EN 14035-38 : Fyrverkeri : Del 38: Effektrør : Spesifikasjon og prøvingsmetoder
Norges Standardiseringsforbund
Bok Engelsk 2006 · Vis mer
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Hans-Jörg Kreowski ... [et al.] (eds.)
Bok Engelsk 2005 · Vis mer
Petri nets for systems engineering : a guide to modeling, verification, and applications
Claude Girault, Rüdiger Valk
Bok Engelsk 2003 · Vis mer
Parsing schemata : a framework for specification and analysis of parsing algorithms
Klaas Sikkel
Bok Språk ikke angitt 1997 · Vis mer
NS-EN 14035-9 : Fyrverkeri : Del : Knatterartikler : krav og prøvingsmetoder
Norges Standardiseringsforbund
Bok Engelsk 2004 · Vis mer
A verification-oriented theory of data in labelled transition systems
Ilkka Kokkarinen
Bok Engelsk 1998 · Vis mer
NS-EN 14035-12 : Fyrverkeri : Del 12: Glimtsmeller : Spesifikasjon og prøvingsmetoder
Norges Standardiseringsforbund
Bok Engelsk 2003 · Vis mer
NS-EN 14035-15 : Fyrverkeri : Del 15: Fontener : Spesifikasjon og prøvingsmetoder
Norges Standardiseringsforbund
Bok Engelsk 2003 · Vis mer