Related Books

7th UK Computer and Telecommunications Performance Engineering Workshop
Language: en
Pages: 203
Authors: Jane E. Hillston
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Co
Z User Workshop, London 1992
Language: en
Pages: 350
Authors: J.P. Bowen
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now use
6th Refinement Workshop
Language: en
Pages: 315
Authors: David Till
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were sub
Functional Programming, Glasgow 1993
Language: en
Pages: 297
Authors: John T. O'Donnell
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength,
Logic Program Synthesis and Transformation
Language: en
Pages: 258
Authors: Yves Deville
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in