Program Verification Using Ada

Program Verification Using Ada - Cambridge Computer Science Texts

Hardback (29 Jul 1982)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

Book information

ISBN: 9780521242158
Publisher: Cambridge University Press
Imprint: Cambridge University Press
Pub date:
DEWEY: 001.642
DEWEY edition: 18
Language: English
Number of pages: 345
Weight: 652g
Height: 228mm
Width: 152mm

We recommend

$16.62off

The Art of Agile Development

James Shore, Diana L...

Paperback
Published 26 Oct 2021

Save $16.62

  • RRP $71.15
  • $54.53
Add to basket

$3.67off

Data Analysis With Python and Pyspark

Jonathan Rioux

Paperback
Published 16 Mar 2022

Save $3.67

  • RRP $60.95
  • $57.28
Add to basket

$6.12off

The Pragmatic Programmer

Andrew Hunt, David T...

Hardback
Published 02 Dec 2019

Save $6.12

  • RRP $53.70
  • $47.58
Add to basket

$10.11off

The Programmer's Brain

Felienne Hermans

Paperback
Published 15 Dec 2021

Save $10.11

  • RRP $53.70
  • $43.59
Add to basket

$1.51off

Clean Code

Robert C. Martin

Paperback
Published 21 Aug 2008

Save $1.51

  • RRP $57.73
  • $56.22
Add to basket
Clean Architecture

Robert C. Martin

Paperback
Published 20 Sep 2017

  • $41.76
Add to basket

$17.77off

Clean Code Cookbook

Maximiliano Contieri

Paperback
Published 29 Sep 2023

Save $17.77

  • RRP $71.15
  • $53.38
Add to basket

$7.77off

Embedded Software System Testing

Yongfeng Yin (author...

Hardback
Published 06 Sep 2023

Save $7.77

  • RRP $104.72
  • $96.95
Add to basket

$4.12off

Raspberry Pi OS System Administration With Systemd

Robert Koretsky

Paperback
Published 22 Nov 2023

Save $4.12

  • RRP $60.41
  • $56.29
Add to basket