.png){kind=logo}
Computer programming / software development
Results 1225 - 1248 of 8431
Computer programming / software development
Paperback. This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using an invoicing system to enable the reader to compare and contrast. Some techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Editor(s): Habrias, Henri; Frappier, Marc. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 282 pages, 7 black & white illustrations, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 282
- Condition
- New
- SKU
- V9781852333539
- ISBN
- 9781852333539
Paperback
Condition: New
€ 127.97
€ 127.97
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 89 pages, 3 black & white illustrations, 1 colour illustrations, 7 black & white tables, biography. BIC Classification: KCD; KJQ; KJU; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 5. Weight in Grams: 156.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 89
- Condition
- New
- SKU
- V9783319172651
- ISBN
- 9783319172651
Paperback
Condition: New
€ 74.08
€ 74.08
Paperback. Editor(s): Cellary, Wojciech; Estevez, Elsa. Series: IFIP Advances in Information and Communication Technology. Num Pages: 320 pages, biography. BIC Classification: UBJ; UKN; UMZ; UNH; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642423635
- ISBN
- 9783642423635
Paperback
Condition: New
€ 67.19
€ 67.19
Hardback. Constitutes the refereed proceedings of the 10th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2010, held in Buenos Aires, Argentina, in November 2010. Editor(s): Cellary, Wojciech; Estevez, Elsa. Series: IFIP Advances in Information and Communication Technology. Num Pages: 320 pages, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 628.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642162824
- ISBN
- 9783642162824
Hardback
Condition: New
€ 68.20
€ 68.20
Paperback. Published in honor of the 65th birthday of Bernd Kramer, this book offers 11 contributions by close scientific companions on such topics as Petri nets and theoretical computer science, software and service engineering, cloud computing and e-learning. Editor(s): Heisel, Maritta. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 204 pages, 88 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 204
- Condition
- New
- SKU
- V9783642308345
- ISBN
- 9783642308345
Paperback
Condition: New
€ 83.52
€ 83.52
Hardback. Editor(s): Ramachandran, Muthu. Num Pages: 272 pages, Illustrations. BIC Classification: UMZ; UR. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 237 x 158 x 22. Weight in Grams: 562.
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 272
- Format
- Hardback
- Publication date
- 2011
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781614701286
- ISBN
- 9781614701286
Hardback
Condition: New
€ 121.27€ 84.38
€ 121.27
€ 84.38
Paperback. Series: Practitioners. Num Pages: 520 pages, black & white illustrations. BIC Classification: TGPQ; UF; UMZ. Category: (P) Professional & Vocational. Dimension: 253 x 180 x 29. Weight in Grams: 924.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9780769502991
- ISBN
- 9780769502991
Paperback
Condition: New
€ 140.70
€ 140.70
Paperback. Editor(s): Santana De Almeida, Eduardo. Series: Lecture Notes in Computer Science. Num Pages: 423 pages, 128 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 423
- Condition
- New
- SKU
- V9783319351216
- ISBN
- 9783319351216
Paperback
Condition: New
€ 68.20
€ 68.20
Software Reuse for Dynamic Systems in the Cloud and Beyond
. Ed(S): Schaefer, Ina; Stamelos, Ioannis G.
Paperback. Editor(s): Schaefer, Ina; Stamelos, Ioannis G. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 378 pages, 108 black & white illustrations, biography. BIC Classification: UGK; UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 378
- Condition
- New
- SKU
- V9783319141299
- ISBN
- 9783319141299
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. This text constitutes the refereed proceedings of the 6th International Conference on Software Reuse, ICSR-6, held in Vienna, Austria, in June 2000. The 26 revised full papers presented were carefully reviewed and selected from numerous submissions. Editor(s): Frakes, W.B. Series: Lecture Notes in Computer Science. Num Pages: 468 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1440.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540676966
- ISBN
- 9783540676966
Paperback
Condition: New
€ 73.49
€ 73.49
Paperback. Series: Software Science & Engineering. Num Pages: 180 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 11. Weight in Grams: 300.
- 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
- 180
- Condition
- New
- SKU
- V9781461366775
- ISBN
- 9781461366775
Paperback
Condition: New
€ 126.70
€ 126.70
Paperback. Num Pages: 552 pages, Illustrations, ports. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 281 x 209 x 31. Weight in Grams: 1217.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 2nd Edition
- Number of pages
- 552
- Condition
- New
- SKU
- V9780818677380
- ISBN
- 9780818677380
Paperback
Condition: New
€ 144.52
€ 144.52
Paperback. The third edition of this classic guide has been fully updated with contemporary, comprehensive guidance for managing the software requirements engineering process from end to end. Num Pages: 672 pages, black & white illustrations. BIC Classification: UMZ. Category: (XV) Technical / Manuals. Dimension: 186 x 229 x 33. Weight in Grams: 1090.
- Publisher
- Microsoft Press
- Format
- Paperback
- Publication date
- 2013
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780735679665
- ISBN
- 9780735679665
Paperback
Condition: New
€ 48.99€ 41.45
€ 48.99
€ 41.45
Paperback. Series: Texts in Computer Science. Num Pages: 351 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2001
- Number of pages
- 351
- Condition
- New
- SKU
- V9781441928764
- ISBN
- 9781441928764
Paperback
Condition: New
€ 67.53
€ 67.53
Hardback. A text/reference on formal method and techniques and tools for software development project design. It is useful for software engineers in R&D departments in industry, as well as for graduate students. Series: Texts in Computer Science. Num Pages: 351 pages, biography. BIC Classification: UMZ. Category: (UU) Undergraduate. Dimension: 164 x 238 x 26. Weight in Grams: 672.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 351
- Condition
- New
- SKU
- V9780387951065
- ISBN
- 9780387951065
Hardback
Condition: New
€ 68.71
€ 68.71
Hardback. Software Reliability Assessment with OR Applications provides a comprehensive guide to software reliability measurement, prediction, and control. Readers will find solutions to decision-making problems that software developers and engineers often face. Series: Springer Series in Reliability Engineering. Num Pages: 572 pages, 68 black & white tables, biography. BIC Classification: KJMV5; TGPQ; UMZ; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 169 x 35. Weight in Grams: 960.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 572
- Condition
- New
- SKU
- V9780857292032
- ISBN
- 9780857292032
Hardback
Condition: New
€ 253.15
€ 253.15
Software Reliability Assessment with OR Applications
Kapur, P. K.; Pham, Hoang; Gupta, A.; Jha, P....
Paperback. Software Reliability Assessment with OR Applications provides a comprehensive guide to software reliability measurement, prediction, and control. Readers will find solutions to decision-making problems that software developers and engineers often face. Series: Springer Series in Reliability Engineering. Num Pages: 572 pages, 68 black & white tables, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 572
- Condition
- New
- SKU
- V9781447126522
- ISBN
- 9781447126522
Paperback
Condition: New
€ 252.04
€ 252.04
Paperback. Editor(s): Pham, Hoang. Num Pages: 144 pages, Illustrations. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 277 x 217 x 8. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 144
- Condition
- New
- SKU
- V9780818668524
- ISBN
- 9780818668524
Paperback
Condition: New
€ 91.02
€ 91.02
paperback. Num Pages: 126 pages, 3 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 238.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- APress United States
- Edition
- 1st ed.
- Number of pages
- 126
- Condition
- New
- SKU
- V9781484223451
- ISBN
- 9781484223451
Paperback
Condition: New
€ 37.99€ 32.25
€ 37.99
€ 32.25
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
€ 65.94
€ 65.94
Software Quality: Complexity and Challenges of Software Engineering in...
. Ed(S): Winkler, Dietmar; Biffl, Stefan; Ber...
Paperback. Editor(s): Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes. Series: Lecture Notes in Business Information Processing. Num Pages: 189 pages, 51 black & white illustrations, biography. BIC Classification: KJQ; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 189
- Condition
- New
- SKU
- V9783319494203
- ISBN
- 9783319494203
Paperback
Condition: New
€ 65.86
€ 65.86
Software Quality. The Future of Systems- and Software Development
. Ed(S): Winkler, Dietmar; Biffl, Stefan; Ber...
Paperback. Editor(s): Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes. Series: Lecture Notes in Business Information Processing. Num Pages: 241 pages, 57 colour illustrations, biography. BIC Classification: KJMP; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 241
- Condition
- New
- SKU
- V9783319270326
- ISBN
- 9783319270326
Paperback
Condition: New
€ 66.22
€ 66.22
Software Quality. Software and Systems Quality in Distributed and Mobi...
. Ed(S): Winkler, Dietmar; Biffl, Stefan; Ber...
paperback. Editor(s): Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes. Series: Lecture Notes in Business Information Processing. Num Pages: 142 pages, 31 black & white illustrations, biography. BIC Classification: KJMP; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 232.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 2015th Edition
- Number of pages
- 142
- Condition
- New
- SKU
- V9783319132501
- ISBN
- 9783319132501
Paperback
Condition: New
€ 54.29
€ 54.29
Software Quality. Model-based Approaches for Advanced Software and Sys...
. Ed(S): Winkler, Dietmar; Biffl, Stefan; Ber...
Paperback. Editor(s): Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes. Series: Lecture Notes in Business Information Processing. Num Pages: 245 pages, black & white illustrations. BIC Classification: KJMP; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 245
- Condition
- New
- SKU
- V9783319036014
- ISBN
- 9783319036014
Paperback
Condition: New
€ 60.84
€ 60.84