The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

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

Paperback • 2004 • Norwegian Bokmål

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

By Tor J. Larsen

0 Ratings • 0.0 of 5

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

About the book

Book details

ISBN

9788253905099

Publisher

[Oslo] : Norsk regnesentral

Published year

2004

Language

Norwegian Bokmål

Original title

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

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also 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