The social marketplace for new and used books.

Get started

For the authors

Support

Track a shipment

Company

Contact us

Fast delivery with

Safe payments by

© 2026 Bookis AS

English

Decision algorithms for program verification

Paperback • 1984 • Norwegian Bokmål

Decision algorithms for program verification

0 Ratings • 0.0 of 5

‌
‌

‌

‌
‌

‌
‌

‌

‌
‌
‌
‌
‌
‌
‌
‌

‌

About the book

Book details

ISBN

9788290230857

Publisher

Oslo

Published year

1984

Language

Norwegian Bokmål

Original title

Decision algorithms for program verification

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

Thinking and Deciding

Thinking and Deciding

Jonathan Baron

Software Languages

Software Languages

Ralf Lammel

Algorithms to live by

Algorithms to live by

Grokking Algorithms

Grokking Algorithms

Aditya Y. Bhargava

Algorithms in a Nutshell, 2e

Algorithms in a Nutshell, 2e

George Heineman

Algorithm Design

Algorithm Design

Jon Kleinberg

Algorithm Design and Applications

Algorithm Design and Applications

Michael T. Goodrich

Statistics Principles and methods

Statistics Principles and methods

Richard Eggenberger (Narad)

Numerical Analysis

Numerical Analysis

Timothy Sauer

Probability & Statistics

Probability & Statistics

Ronald Walpole

Introduction to Algorithms

Introduction to Algorithms

Thomas H.

Algorithms

Algorithms

Sanjoy Dasgupta

Discrete mathematics and it's applications

Discrete mathematics and it's applications

Kenneth H. Rosen

Modern Mathematical Statistics with applicati…

Modern Mathematical Statistics with applicati…

Jay L DeVore

Linear algebra

Linear algebra

David Aaronovitch

Algorithm Desin

Algorithm Desin

Jon Kleinberg

Algorithms: Sequential, Parallel and Distribu…

Algorithms: Sequential, Parallel and Distribu…

Kenneth Abrahamsson

Secrets of the code

Secrets of the code

Daniel Burstein

Digital System Design with VHDL

Digital System Design with VHDL

Mark Zwolinski

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

AMPL

AMPL

Robert Fourer

Decision-making at the chessboard

Decision-making at the chessboard

Eingorn, Viacheslav

Discrete mathematics for computing

Discrete mathematics for computing

Peter Grossman

Discrete Mathematics

Discrete Mathematics

Norman L. Biggs

Introduction to Algorithms, Second Edition

Introduction to Algorithms, Second Edition

Thomas H.

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

Data structures & Algorithm analysis in Java

Data structures & Algorithm analysis in Java

Mark Allen

New Ideas in Optimization

New Ideas in Optimization

David Corne

Algorithms on Strings, Trees, and Sequences

Algorithms on Strings, Trees, and Sequences

Dan Gusfield

$Algorithms in C\++$

Algorithms in C\++

Robert Sedgewick

Algorithmics

Algorithmics

Harel, David

Creative Decision Making Using Positive Uncertainty

Creative Decision Making Using Positive Uncertainty

H. B. Gelatt

Decision Traps

Decision Traps

J. Edward

Stauder

Stauder

Siv Nilson

Building a Secure Computer System

Building a Secure Computer System

Morrie Gasser

Angewandte Informatik

Angewandte Informatik

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

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

Bjorn Kirkerud