.png){kind=logo}
Computer programming / software development
Results 6881 - 6900 of 7788
Computer programming / software development
Paperback. Num Pages: 352 pages, biography. BIC Classification: KJQ; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 556.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 352
- Condition
- New
- SKU
- V9783642779732
- ISBN
- 9783642779732
Paperback
Condition: New
€ 139.47
€ 139.47
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic...
Ma, Zhe; Marchal, Pol; Scarpazza, Daniele Pao...
Paperback. Num Pages: 264 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 264
- Condition
- New
- SKU
- V9789048176106
- ISBN
- 9789048176106
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Based on papers accepted for presentation at the 1996 Workshop on Systematic Reuse: Issues in Initiating and Improving a Reuse Program, Liverpool, UK, this volume provides a comprehensive introduction to the effective management of software reuse. Editor(s): Sarshar, Marjan. Series: BCS Software Reuse Specialist Group. Num Pages: 117 pages, 9 black & white illustrations, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 194.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 117
- Condition
- New
- SKU
- V9783540760122
- ISBN
- 9783540760122
Paperback
Condition: New
€ 126.22
€ 126.22
Paperback / so. Series: Informatik-Fachberichte. Num Pages: 162 pages, black & white illustrations, bibliography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 10. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 162
- Condition
- New
- SKU
- V9783540152200
- ISBN
- 9783540152200
Paperback
Condition: New
€ 71.57
€ 71.57
Paperback. Num Pages: 303 pages, 20 black & white tables, biography. BIC Classification: THR; TJFC; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2 Rev ed
- Number of pages
- 303
- Condition
- New
- SKU
- V9781489982667
- ISBN
- 9781489982667
Paperback
Condition: New
€ 138.94
€ 138.94
Paperback. Series: Springer Compass International. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 8. Weight in Grams: 236.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1985
- Condition
- New
- SKU
- V9783642954580
- ISBN
- 9783642954580
Paperback
Condition: New
€ 49.04
€ 49.04
Paperback. Num Pages: 444 pages, black & white tables, figures. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 252 x 178 x 25. Weight in Grams: 832.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 444
- Condition
- New
- SKU
- V9780738158525
- ISBN
- 9780738158525
Paperback
Condition: New
€ 136.88
€ 136.88
Paperback. This book assesses the contribution to a business's success that can be made by focusing on quality control in its IT systems and software. It discusses the quality issues arising in a fast-moving software industry where products often have a limited lifespan. Num Pages: 209 pages, 6 black & white illustrations, 102 colour illustrations, 20 black & white tables, biograp. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 209
- Condition
- New
- SKU
- V9783662514047
- ISBN
- 9783662514047
Paperback
Condition: New
€ 125.65
€ 125.65
Paperback. Organized in four parts, this book guides the reader through the various aspects and dimensions of software variability, covering research and commercial tools, case studies and emerging research topics including service-oriended and dynamic software lines. Editor(s): Capilla, Rafael; Bosch, Jan; Kang, Kyo-Chul. Num Pages: 317 pages, biography. BIC Classification: UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642441967
- ISBN
- 9783642441967
Paperback
Condition: New
€ 126.78
€ 126.78
Paperback. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 156 x 234 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 190
- Condition
- New
- SKU
- V9783642074783
- ISBN
- 9783642074783
Paperback
Condition: New
€ 183.08
€ 183.08
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 186.93
€ 186.93
Paperback. Editor(s): Henderson, Peter. Num Pages: 315 pages, biography. BIC Classification: KJMV3; UL; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 19. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 332
- Condition
- New
- SKU
- V9781447111467
- ISBN
- 9781447111467
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Editor(s): Henderson, Peter. Num Pages: 383 pages, biography. BIC Classification: KJMV3; UL; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 598.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 402
- Condition
- New
- SKU
- V9781447110842
- ISBN
- 9781447110842
Paperback
Condition: New
€ 67.99
€ 67.99
Hardcover. SDL (Specification and Description Language) is a modern, high--level programming language intended for the description of complex, event--driven, real--time and communicating systems. Num Pages: 380 pages, bibliography. BIC Classification: TJK; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 247 x 202 x 27. Weight in Grams: 930.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1St Edition
- Number of pages
- 380
- Condition
- New
- SKU
- V9780471498759
- ISBN
- 9780471498759
Hardback
Condition: New
€ 145.81
€ 145.81
Hardback. Intends to address problems and solutions in implementing complex and high quality systems past the year 2000. This title focuses on the development of languages, methods and tools and their further evaluation. It is suitable for researchers in the field of software engineering and to software developers working in larger companies. Editor(s): Horspool, R.Nigel. Series: IFIP Advances in Information and Communication Technology. Num Pages: 355 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1500.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 355
- Condition
- New
- SKU
- V9780412835308
- ISBN
- 9780412835308
Hardback
Condition: New
€ 201.08
€ 201.08
paperback. Editor(s): Blackham, R. B.; Flood, Robert Louis; Jackson, Michael C.; Mansell, G. J.; Probert, S. V. E. Num Pages: 612 pages, biography. BIC Classification: JP; KJMD; UMZ. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 32. Weight in Grams: 1178.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 612
- Condition
- New
- SKU
- V9781461366690
- ISBN
- 9781461366690
Paperback
Condition: New
€ 71.74
€ 71.74
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
€ 67.93
€ 67.93
Paperback. Editor(s): O'Connor, Rory V.; Poth, Alexander; Messnarz, Richard; Kreiner, Christian. Series: Communications in Computer and Information Science. Num Pages: 362 pages, 92 black & white illustrations, biography. BIC Classification: KJQ; UMZ; UNH; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 362
- Condition
- New
- SKU
- V9783319448169
- ISBN
- 9783319448169
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Editor(s): O'Connor, Rory V.; Yilmaz, Murat; Poth, Alexander; Messnarz, Richard; Akkaya, Mariye Umay; Kemaneci, Kerem. Series: Communications in Computer and Information Science. Num Pages: 352 pages, 82 black & white illustrations, biography. BIC Classification: KJQ; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 352
- Condition
- New
- SKU
- V9783319246468
- ISBN
- 9783319246468
Paperback
Condition: New
€ 67.24
€ 67.24
Paperback. Editor(s): Beatrix, Barafort; O'Connor, Rory V.; Poth, Alexander; Messnarz, Richard. Series: Communications in Computer and Information Science. Num Pages: 350 pages, 89 black & white illustrations, biography. BIC Classification: KJQ; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783662438954
- ISBN
- 9783662438954
Paperback
Condition: New
€ 67.21
€ 67.21