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

Kom i gang

Lær å kjøpe brukt

Kjøp pensumbøker

Logg inn eller registrer deg

Kjøp et gavekort

Kundeservice

Personvernregler

Informasjonskapsler

Bookis

Gi tilbakemelding

Kontakt oss

Rask levering med

Trygg betaling med

© 2026 Bookis AS

Norsk

Decision algorithms for program verification

Pocket • 1984 • Norsk Bokmål

Decision algorithms for program verification

0 vurderinger • 0.0 av 5

‌
‌

‌

‌
‌

‌
‌

‌

‌
‌
‌
‌
‌
‌
‌
‌

‌

Om boken

Om boken

ISBN

9788290230857

Forlag

Oslo

Publiseringsår

1984

Språk

Norsk Bokmål

Originaltittel

Decision algorithms for program verification

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

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