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
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
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
First International Workshop on Larch
Language: en
Pages: 323
Authors: Ursula Martin
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a fam
Formal Methods in Databases and Software Engineering
Language: en
Pages: 201
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information syste