4th Annual Z User Meeting: Proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 (Workshops in Computing)

Filter

Show

-92%

4th Annual Z User Meeting: Proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 (Workshops in Computing)
0

4th Annual Z User Meeting: Proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 (Workshops in Computing), Timo Lepistoe, 9783540196273

Original price was: $100.00.Current price is: $8.00.
Add to cart
-89%

4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge (Workshops in Computing)
0

4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge (Workshops in Computing), Timo Lepistoe, 9783540196570

Original price was: $79.00.Current price is: $9.00.
Add to cart
-84%

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 810 January 1992 (Workshops in Computing)
0

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 810 January 1992 (Workshops in Computing), Timo Lepistoe, 9783540197522

Original price was: $99.00.Current price is: $16.00.
Add to cart
-82%

Automata, Languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
0

Automata, Languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence), Timo Lepistoe, 9783540194880

Original price was: $76.00.Current price is: $14.00.
Add to cart
-89%

Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 (Workshops in Computing)
0

Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 (Workshops in Computing), Timo Lepistoe, 9783540197355

Original price was: $83.00.Current price is: $9.00.
Add to cart
-88%

Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (Workshops in Computing)
0

Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (Workshops in Computing), Timo Lepistoe, 9783540196594

Original price was: $103.00.Current price is: $12.00.
Add to cart
-88%

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 1315 July 1992 (Workshops in Computing)
0

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 1315 July 1992 (Workshops in Computing), Timo Lepistoe, 9783540198048

Original price was: $60.00.Current price is: $7.00.
Add to cart
-91%

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (Workshops in Computing)
0

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (Workshops in Computing), Timo Lepistoe, 9783540197881

Original price was: $115.00.Current price is: $10.00.
Add to cart
-83%

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada (Workshops in Computing)
0

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada (Workshops in Computing), Timo Lepistoe, 9783540196358

Original price was: $100.00.Current price is: $17.00.
Add to cart
-80%

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 1516 May 1992 (Workshops in Computing)
0

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 1516 May 1992 (Workshops in Computing), Timo Lepistoe, 9783540198123

Original price was: $91.00.Current price is: $18.00.
Add to cart
-91%

Formal Methods in Systems Engineering
0

Formal Methods in Systems Engineering, Timo Lepistoe, 9783540197515

Original price was: $117.00.Current price is: $11.00.
Add to cart
-60%

Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing)
0

Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing), Timo Lepistoe, 9783540197607

Original price was: $40.00.Current price is: $16.00.
Add to cart

Find a Book Store

shop list

Product

save $15

+1 840 - 841 25 69

4th Annual Z User Meeting: Proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 (Workshops in Computing)

4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge (Workshops in Computing)

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 810 January 1992 (Workshops in Computing)

Automata, Languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 (Workshops in Computing)

Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (Workshops in Computing)

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 1315 July 1992 (Workshops in Computing)

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (Workshops in Computing)

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada (Workshops in Computing)

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 1516 May 1992 (Workshops in Computing)

Formal Methods in Systems Engineering

Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing)

Shop

Account

Wishlist

Contact Info

Company

+(84) - 1800 - 4635

Corporate

Our Service