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

System design from provably correct constructs : the beginnings of true software engineering

Paperback • 1985 • Norwegian Bokmål

System design from provably correct constructs : the beginnings of true software engineering

By James Martin

0 Ratings • 0.0 of 5

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

About the book

Book details

ISBN

9780138814830

Publisher

Englewood Cliffs, N.J : Prentice-Hall

Published year

1985

Language

Norwegian Bokmål

Original title

System design from provably correct constructs : the beginnings of true software engineering

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

Clean Craftsmanship – Disciplines, Standards, and Ethics

Clean Craftsmanship – Disciplines, Standards, and Ethics

Robert C. Martin

Righting Software

Righting Software

Juval Löwy

Building Design Systems

Building Design Systems

Sarrah Vesselov

Secure By Design_p1

Secure By Design_p1

Dan Bergh Johnsson

Software Languages

Software Languages

Ralf Lammel

Clean Architecture

Clean Architecture

Robert C. Martin

Design Systems

Design Systems

Alla Kholmatova

Prototyping for Designers

Prototyping for Designers

Kathryn McElroy

Beginning Software Engineering

Beginning Software Engineering

Rod Stephenes

Java Software Structure

Java Software Structure

John Lewis

Selected chapters from software engineering

Selected chapters from software engineering

Dag Sjøberg

An Introduction to Design Science

An Introduction to Design Science

Paul Johannesson

Algorithm Design

Algorithm Design

Jon Kleinberg

Programming

Programming

Bjarne Stroustrup

Java Software Solutions

Java Software Solutions

John Lewis

The Clean Coder

The Clean Coder

Robert C. Martin

Design for Use

Design for Use

Lukas Mathis

Java Software Structures

Java Software Structures

John Lewis

Java Software solutions - foundations of program design

Java Software solutions - foundations of program design

John Lewis

Computers in Context

Computers in Context

Bo Dahlbom

Design patterns for dummies

Design patterns for dummies

Steve Holzner

Interface Oriented Design

Interface Oriented Design

Ken Pugh

Java Software Solutions Foundations of Program Design

Java Software Solutions Foundations of Program Design

John Lewis

Applying UML and Patterns An Introduction to Object-oriented Analysis and Design and Iterative Development

Applying UML and Patterns An Introduction to Object-oriented Analysis and Design and Iterative Development

Craig Larman

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

Introduction to computing systems - from bits…

Introduction to computing systems - from bits…

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

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

Gameplay and design

Gameplay and design

Kevin Oxland

Facts and Fallacies of Software Engineering

Facts and Fallacies of Software Engineering

Robert L. Glass

Agile Software Development

Agile Software Development

Robert Cecil Martin

Software Engineering Processes

Software Engineering Processes

Philippe Kruchten

Introduction to computing systems - from bits & gates to C & beyond

Introduction to computing systems - from bits & gates to C & beyond

Yale N. Patt

Principles of database systems with Internet and Java applications

Principles of database systems with Internet and Java applications

Greg Riccardi

Product design and development

Product design and development

Karl T. Ulrich

Refactoring

Refactoring

Martin Fowler

The Practice of Programming

The Practice of Programming

Brian W. Kernighan

The Unified Software Development Process

The Unified Software Development Process

Ivar Jacobson

Pattern Languages of Program Design

Pattern Languages of Program Design

Coplien, James O.

Debugging the development process

Debugging the development process

Steve Maguire

Building a Secure Computer System

Building a Secure Computer System

Morrie Gasser