First Irish Workshop on Formal Methods

First Irish Workshop on Formal Methods: Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997

,
Paperback Published on: 11/09/1997
£29.00
No reviews yet, be the first
Free UK delivery on orders over £25
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540761969
  • Number of pages: 10
  • Languages: English

Customer Reviews

You may also like...

Computability Theory
S. Barry Cooper
£124.99
Cryptanalysis
Helen Fouche Gaines
£13.49
The Essential Turing
B. Jack. Copeland
£31.99
Quantum Computer Science
N. David Mermin
£58.00
Data Structures and Network Algorithms
Robert Endre Tarjan
£55.00
The Nature of Computation
Cristopher Moore
£92.00
An Introduction to Modern Mathematical Computing
Jonathan M. Borwein
£44.99
Data Structures and Algorithms
Alfred V. Aho
£80.99
Data Analysis with Open Source Tools
Philipp K. Janert
£31.99
Integer Programming and Combinatorial Optimization
George Nemhauser
£44.99
Probability Models
John Haigh
£29.99
Computational Geometry
Mark de Berg
£48.99
Numerical Recipes 3rd Edition
William H. Press
£104
Mathematical Logic for Computer Science
Mordechai Ben-Ari
£54.99
The Joy of Sets
Keith Devlin
£50.99
Introductory Time Series with R
Paul S.P. Cowpertwait
£52.99