Applications of Formal Methods

Applications of Formal Methods - Prentice Hall International Series in Computer Science

Hardback (31 Aug 1995)

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

Publisher's Synopsis

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Book information

ISBN: 9780133669497
Publisher: Pearson Education
Imprint: Prentice Hall
Pub date:
Language: English
Number of pages: 447
Weight: 793g
Height: 235mm
Width: 178mm
Spine width: 25mm

We recommend

$10.98off

Quantum Computing Fundamentals

Chuck Easttom

Paperback
Published 17 Aug 2021

Save $10.98

  • RRP $69.81
  • $58.83
Add to basket

$6.35off

Universal Principles of UX

Irene Pereyra

Hardback
Published 09 Mar 2023

Save $6.35

  • RRP $37.60
  • $31.25
Add to basket
The Wolf of Investing

Jordan Belfort

Hardback
Published 31 Oct 2023

  • $27.26
Add to basket

$8.54off

Implementing Lean Software Development

Mary Poppendieck, Th...

Paperback
Published 28 Sep 2006

Save $8.54

  • RRP $49.67
  • $41.13
Add to basket

$7.74off

The Mythical Man-Month

Frederick P. Brooks

Paperback
Published 15 Aug 1995

Save $7.74

  • RRP $46.98
  • $39.24
Add to basket
The Cold Start Problem

Andrew Chen

Paperback
Published 06 Apr 2023

  • $14.93
Add to basket
AI and Big Data

Mark Findlay, Joseph...

Hardback
Published 26 Sep 2023

  • $108.15
Add to basket

$0.39off

Good Charts

Scott Berinato

Paperback
Published 29 Aug 2023

Save $0.39

  • RRP $33.57
  • $33.18
Add to basket

$1.97off

Business Financial Planning With Microsoft Excel

Gavin Powell

Paperback
Published 09 Jun 2023

Save $1.97

  • RRP $46.98
  • $45.01
Add to basket

$5.25off

Risk Analytics

Eduardo Rodríguez Ta...

Paperback
Published 08 Aug 2023

Save $5.25

  • RRP $100.70
  • $95.45
Add to basket