Nettbokhandelen for kjøp og salg av bøker.

Kom i gang

Lær å selge
Lær å kjøpe brukt
Kjøp pensumbøker
Logg inn eller registrer deg
Kjøp et gavekort
For forfattere

Kundeservice

Hjelp
Spor ordre
Brukervilkår
Personvernregler
Informasjonskapsler

Bookis

Om oss
Jobb hos oss!
Gi tilbakemelding
Sjangere

Kontakt oss

Rask levering med

Trygg betaling med

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

Norsk

Integration of structured review and model-based verification : a case study

Pocket • 2004 • Norsk Bokmål

Integration of structured review and model-based verification : a case study

Av Tor J. Larsen

0 vurderinger • 0.0 av 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

Om boken

Om boken

ISBN

9788253905099

Forlag

[Oslo] : Norsk regnesentral

Publiseringsår

2004

Språk

Norsk Bokmål

Originaltittel

Integration of structured review and model-based verification : a case study

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

Systematic approaches to a successful literature review ISBN 978-1-5297-1184-4

Systematic approaches to a successful literature review ISBN 978-1-5297-1184-4

Andrew Booth

An Introduction to ETCS Components - Functions - Operations

An Introduction to ETCS Components - Functions - Operations

Lars Schnieder

Robot modeling and control

Robot modeling and control

Mark W. spong

Service Logic

Service Logic

Professor Per Skalen

Software Languages

Software Languages

Ralf Lammel

Revisjon

Revisjon

Bror Petter Gulden

Systems Design and Engineering

Systems Design and Engineering

The Netherlands) Bonnema G. Maarten (University of Twente Enschede

Selected chapters from software engineering

Selected chapters from software engineering

Dag Sjøberg

Project Management

Project Management

Jeffrey P. Bakken

Foundations of software testing

Foundations of software testing

Rex Black,

Study guide linear algebra and its applications

Study guide linear algebra and its applications

David C.

Financial statement analysis

Financial statement analysis

Christian Mechel (Von)

Design for Use

Design for Use

Lukas Mathis

Engineering mechanics statics study pack

Engineering mechanics statics study pack

Peter Schiavone.

Matlab for engineers

Matlab for engineers

Holly Moore

Java Software solutions - foundations of program design

Java Software solutions - foundations of program design

John Lewis

Modelo

Modelo

Lars Saabye Christensen

Information Systems Strategic Management

Information Systems Strategic Management

Steve Clarke

The Value Model

The Value Model

Per Lindstedt

Modellen

Modellen

Lars Saabye

Introduction to computing systems: from bits & gates to c & beyond

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Introduction to computing systems - from bits…

Introduction to computing systems - from bits…

Yale University) Baaij C.J.W. (J.S.D. candidate

Object-oriented software engineering

Object-oriented software engineering

Bernd Bruegge

Etikk, moral og revisjon : teori, analyse og handlingsvalg

Etikk, moral og revisjon : teori, analyse og handlingsvalg

Bror Petter Gulden

Modeling and simulation for automatic control

Modeling and simulation for automatic control

Olav Egeland

Software Engineering Processes

Software Engineering Processes

Philippe Kruchten

Marine control systems : guidance, navigation and control of ships, rigs and underwater vehicles

Marine control systems : guidance, navigation and control of ships, rigs and underwater vehicles

Thor I. Fossen

Teknisk analyse

Teknisk analyse

Michael C. Thomsett

Kjeld Stub

Kjeld Stub

Kjeld Stub

Product design and development

Product design and development

Karl T. Ulrich

Technology Integration

Technology Integration

Marco Iansiti

Objektorienteret analyse og design

Objektorienteret analyse og design

Lars Mathiassen

Sveisemetoder

Sveisemetoder

Sverre Eriksen

Pålitelighet i automatiseringssystemer

Pålitelighet i automatiseringssystemer

Thor O. Olsen

Vitenskap og metode : oppgavegjennomgåelser med teori i temagruppe B : examen philosophicum

Vitenskap og metode : oppgavegjennomgåelser med teori i temagruppe B : examen philosophicum

Øyvind Baune

Vennskap

Vennskap

Finn Havrevold

Kritisk juss

Kritisk juss

Angewandte Informatik

Angewandte Informatik

Object-Oriented Programming With Simula (International Computer Science Series)

Object-Oriented Programming With Simula (International Computer Science Series)

Bjorn Kirkerud