Computer programming / software development
Results 2857 - 2880 of 7255
Computer programming / software development
Paperback. Identifies issues which relate to the introduction of formal methods into the development and expression of standards used in computer systems and software. The book offers guidelines on the use of formal methods for those working in different standards areas. Editor(s): Ruggles, Clive L. N. Num Pages: 135 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 8. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 135
- Condition
- New
- SKU
- V9783540195771
- ISBN
- 9783540195771
Paperback
Condition: New
€ 62.87
€ 62.87
Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–...
. Ed(S): Hughes, John; Davis, Kei
perfect. Editor(s): Hughes, John; Davis, Kei. Series: Workshops in Computing. Num Pages: 411 pages, 1 black & white illustrations, 5 black & white tables. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 22. Weight in Grams: 720.
- Publication date
- 1990
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 411
- Condition
- New
- SKU
- V9783540196099
- ISBN
- 9783540196099
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. A collection of papers presented at the International Workshop on Semantics for Concurrency held in July 1990 at Leicester University. The text aims to identify positive objective features of the main approaches to semantics for concurrency, increasing understanding between research groups. Editor(s): Kwiatkowska, Marta Zofia; Shields, M.W.; Thomas, R. Murray. Series: Workshops in Computing. Num Pages: 346 pages, 1 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 170 x 19. Weight in Grams: 614.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 346
- Condition
- New
- SKU
- V9783540196259
- ISBN
- 9783540196259
Paperback
Condition: New
€ 64.93
€ 64.93
Paperback. Presents the latest research in persistent object systems covering areas such as type systems and persistence, persitent programming languages, implementing persistence, object stores, measurement of persistent systems, transactions and persistence, and persistent machines. Editor(s): Rosenberg, John; Koch, David. Series: Workshops in Computing. Num Pages: 408 pages, 7 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 733.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 408
- Condition
- New
- SKU
- V9783540196266
- ISBN
- 9783540196266
Paperback
Condition: New
€ 65.68
€ 65.68
Paperback. Contains the latest developments in the theoretical and practical aspects of the computer programme Z. Topics include research on the formal notation of Z with descriptions of its application in industry, and Z tools and support environments. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 279 pages, 4 black & white illustrations, 3 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 15. Weight in Grams: 501.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783540196273
- ISBN
- 9783540196273
Paperback
Condition: New
€ 64.19
€ 64.19
hardcover. Integrates two technologies, namely Image Processing (IP) and Artificial Intelligence (AI) through the implementation of a fifth generation of industrial vision systems. This book is suitable for image processing specialists and Prolog enthusiasts. Num Pages: 372 pages, 4 black & white tables, biography. BIC Classification: UMX; UYQ; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1991st Edition
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540196471
- ISBN
- 9783540196471
Hardback
Condition: New
€ 186.98
€ 186.98
perfect. This is an introduction to MURAL, a software-support system that aims to create a user-friendly software environment which makes the best use of human talents to produce well-designed computer systems. The text describes the requirements, concepts and realization of the MURAL system. Num Pages: 421 pages, 8 black & white illustrations. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 753.
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 421
- Condition
- New
- SKU
- V9783540196518
- ISBN
- 9783540196518
Hardback
Condition: New
€ 65.78
€ 65.78
Paperback. Provides a summary of software re-use and its main research issues, together with the results of current research from teams across Europe. Editor(s): Dusink, Liesbeth; Hall, Patrick A.V. Series: Workshops in Computing. Num Pages: 151 pages, 2 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 9. Weight in Grams: 301.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783540196525
- ISBN
- 9783540196525
Paperback
Condition: New
€ 62.95
€ 62.95
Paperback. A survey of the parallel processing industry. It introduces the basic concepts of parallel computing and also covers different forms of parallelism, including descriptions of vector supercomputers, SIMD computers, shared memory multiprocessors, hypercubes and transputer-based machines. Editor(s): Trew, Arthur; Wilson, Greg. Num Pages: 392 pages, 9 black & white illustrations, biography. BIC Classification: UKC; UMZ; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 770.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540196648
- ISBN
- 9783540196648
Paperback
Condition: New
€ 65.90
€ 65.90
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow ...
. Ed(S): Jones, Simon L.Peyton; Hutton, Graha...
paperback. A volume of papers from a workshop in 1990 addressing aspects of functional programming such as lifetimes, strictness and heap contents, the relationship between forward and backward analysis, improved programme compilation, partial applications and parallel programming. Editor(s): Jones, Simon L.Peyton; Hutton, Graham; Kehler Holst, Carsten. Series: Workshops in Computing. Num Pages: 287 pages, 3 black & white illustrations, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 16. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540196679
- ISBN
- 9783540196679
Paperback
Condition: New
€ 64.30
€ 64.30
Paperback. This volume of conference proceedings aims to provide Z users with information on new developments, such as activities in the field of object-oriented specification and design. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 389 pages, 11 black & white illustrations, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 21. Weight in Grams: 687.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 389
- Condition
- New
- SKU
- V9783540196723
- ISBN
- 9783540196723
Paperback
Condition: New
€ 65.38
€ 65.38
7th UK Computer and Telecommunications Performance Engineering Worksho...
. Ed(S): Hillston, Jane E.; King, Peter J. B....
Paperback. This volume contains 16 papers highlighting various aspects of parallel computing. Topics covered include advances in queueing theory, common performance problems and their solutions, assessments of available tools, and presentations of new theoretical results. Editor(s): Hillston, Jane E.; King, Peter J. B.; Pooley, Robert J. Series: Workshops in Computing. Num Pages: 191 pages, 32 black & white illustrations, biography. BIC Classification: TJK; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 11. Weight in Grams: 368.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783540197331
- ISBN
- 9783540197331
Paperback
Condition: New
€ 63.35
€ 63.35
Paperback. This volume contains 12 papers presented at a conference which aimed to give a broad but technical insight into the work currently being done in the field of logic programming, both in the UK and by researchers as far afield as Canada and Bulgaria. Editor(s): Wiggins, G.A.; Mellish, C. (both of University of Edinburgh); Duncan, T. (Artificial Intelligence Applications Institute, Edinburgh). Series: Workshops in Computing. Num Pages: 219 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 12. Weight in Grams: 453.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783540197348
- ISBN
- 9783540197348
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Presents the proceedings of the Phoenix Seminar and Workshop on Declarative Programming held in Sasbachwalden in 1991. The papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches and programming methodology. Editor(s): Darlington, J. (Imperial College of Science, Technology and Medicine, London); Dietrich, R. (University of Karlsruhe, Germany). Series: Workshops in Computing. Num Pages: 327 pages, 4 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783540197355
- ISBN
- 9783540197355
Paperback
Condition: New
€ 64.70
€ 64.70
Paperback. Presents the proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation held at Manchester University. It covers both theoretical and practical aspects, including the use of mode input-output in program transformation and program development in modular Prolog. Editor(s): Clement, T.P.; Lau, Kung-Kiu. Series: Workshops in Computing. Num Pages: 337 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 18. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 337
- Condition
- New
- SKU
- V9783540197423
- ISBN
- 9783540197423
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. This volume contains the papers presented at a conference on computer refinement, which is the term used to describe systematic and formal methods of specifying hardware and software. These specifications are then transformed into designs and implementations. Editor(s): Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim. Series: Workshops in Computing. Num Pages: 381 pages, 3 black & white illustrations, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 381
- Condition
- New
- SKU
- V9783540197522
- ISBN
- 9783540197522
Paperback
Condition: New
€ 64.85
€ 64.85
Paperback. The authors of this monograph use their experience as systems consultants to clarify the key notions and design of measurement schemes for software engineering projects. A case study provides measurement strategies for formal specifications in the PROLOG, Z and VDM languages. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 335 pages, 135 black & white illustrations, biography. BIC Classification: GPFC; UL; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783540197539
- ISBN
- 9783540197539
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. A collection of papers investigating different approaches for providing Z with an object oriented structuring mechanism. It evolved from a comparative study of ways in which object orientation has been combined with Z, which was carried out as part of the DTI/IED-funded ZIP Project. Editor(s): Stepney, Susan; Barden, Rosalind; Cooper, Mr David. Series: Workshops in Computing. Num Pages: 146 pages, 3 black & white illustrations, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 8. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783540197782
- ISBN
- 9783540197782
Paperback
Condition: New
€ 62.82
€ 62.82
Paperback. Provides an overview of new developments in theoretical and practical aspects of Z. It should be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 408 pages, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 408
- Condition
- New
- SKU
- V9783540197805
- ISBN
- 9783540197805
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. This volume of conference proceedings covers a variety of technical areas, including concurrent logic languages and their semantics, the application of logic languages to other logical systems, modules, error-handling and the distributed execution of PROLOG programs. Editor(s): Broda, Krysia B. Series: Workshops in Computing. Num Pages: 355 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 615.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 355
- Condition
- New
- SKU
- V9783540197836
- ISBN
- 9783540197836
Paperback
Condition: New
€ 64.93
€ 64.93
Paperback. This volume is based on the proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, held in May 1991. The resulting volume contains the eight papers presented at the meeting, along with five additional papers which offer further insight into the topics raised there. Editor(s): Denvir, Tim; Herman, Rosalind; Whitty, R.W.; etc. Series: Workshops in Computing. Num Pages: 259 pages, biography. BIC Classification: KJM; UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 259
- Condition
- New
- SKU
- V9783540197881
- ISBN
- 9783540197881
Paperback
Condition: New
€ 63.69
€ 63.69
Paperback. Provides a look at state of the art research into the area of persistent object systems. The primary topics discussed are the design, implementation and use of persistent object systems. Series: Workshops in Computing. Num Pages: 447 pages, 29 black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 24. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 447
- Condition
- New
- SKU
- V9783540198000
- ISBN
- 9783540198000
Paperback
Condition: New
€ 66.41
€ 66.41
Paperback. The aim of the workshop upon which this text is based was to raise the profile of LARCH, a group of formal specification languages and tools orginally developed in the USA. Among the topics covered in this volume are the mechanical verification of concurrent systems with TLA. Editor(s): Martin, Ursula; Wing, Jeannette M. Series: Workshops in Computing. Num Pages: 315 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540198048
- ISBN
- 9783540198048
Paperback
Condition: New
€ 64.55
€ 64.55
paperback. Sponsored by the Association for Logic Programming and ALPUK Editor(s): Lau, Kung-Kiu; Clement, T.P. Series: Workshops in Computing. Num Pages: 273 pages, 2 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- First Edition
- Number of pages
- 273
- Condition
- New
- SKU
- V9783540198062
- ISBN
- 9783540198062
Paperback
Condition: New
€ 63.85
€ 63.85