Print this page
Theory and Formal Methods 1993

Theory and Formal Methods 1993 Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing

Book (01 Jan 1993)

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.

Other formats/editions

Check stock

Book information

ISBN: 9780387198422
Publisher: Springer-Verlag
Imprint: Springer-Verlag
Pub date:
DEWEY: 005.1
DEWEY edition: 20
Language: English
Number of pages: 325
Weight: -1g

We recommend

$2.59off

Can You Solve My Problems?

Alex Bellos

Paperback
Published 06 Jul 2017

Save $2.59

  • RRP $14.11
  • $11.52
Add to basket

$2.30off

At Sixes and Sevens

Rachel Riley (author...

Hardback
Published 28 Oct 2021

Save $2.30

  • RRP $19.25
  • $16.95
Add to basket

$0.66off

Logic

Graham Priest

Paperback
Published 26 Oct 2017

Save $0.66

  • RRP $11.54
  • $10.88
Add to basket

$23.99off

Learning Data Science

Sam Lau, Joseph Gonz...

Paperback
Published 29 Sep 2023

Save $23.99

  • RRP $92.44
  • $68.45
Add to basket

$8.63off

Deep Learning-Based Forward Modeling and Inversion Techniques for Computational Physics Problems

Yinpeng Wang, Qiang ...

Hardback
Published 06 Jul 2023

Save $8.63

  • RRP $100.14
  • $91.51
Add to basket

$11.90off

Sparse Graphical Modeling for High Dimensional Data

F. Liang, Bochao Jia

Hardback
Published 02 Aug 2023

Save $11.90

  • RRP $118.12
  • $106.22
Add to basket
The Sequential Quadratic Hamiltonian Method

Alfio Borzì

Hardback
Published 26 May 2023

  • $208.55
Add to basket

$1.54off

Unmatched

David Barkai

Paperback
Published 17 Aug 2023

Save $1.54

  • RRP $59.05
  • $57.51
Add to basket

$1.49off

Introduction to Python for Humanists

William J. B. Mattin...

Paperback
Published 26 Jul 2023

Save $1.49

  • RRP $59.05
  • $57.56
Add to basket

$4.42off

Applied Evolutionary Algorithms for Engineers Using Python

Leonardo Azevedo Sca...

Paperback
Published 26 Jun 2023

Save $4.42

  • RRP $70.61
  • $66.19
Add to basket