Computer programming / software development
Results 641 - 660 of 6454
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642217678
- ISBN
- 9783642217678
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Malaga, Spain, in July 2010. Editor(s): Fraser, Gordon; Gargantini, Angelo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 174 pages, 60 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783642139765
- ISBN
- 9783642139765
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Editor(s): Veanes, Margus; Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 243 pages, 50 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 243
- Condition
- New
- SKU
- V9783642389153
- ISBN
- 9783642389153
Paperback
Condition: New
€ 81.80
€ 81.80
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 179 pages, biography. BIC Classification: UBJ; UKN; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 179
- Condition
- New
- SKU
- V9783642029486
- ISBN
- 9783642029486
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008. Series: Lecture Notes in Computer Science. Num Pages: 203 pages, biography. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783540791232
- ISBN
- 9783540791232
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Editor(s): Blanchette, Jasmin Christian; Kosmatov, Nikolai. Series: Lecture Notes in Computer Science. Num Pages: 228 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 228
- Condition
- New
- SKU
- V9783319212142
- ISBN
- 9783319212142
Paperback
Condition: New
€ 63.00
€ 63.00
Paperback. Editor(s): Seidl, Martina; Tillmann, Nikolai. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 226 pages, 76 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 226
- Condition
- New
- SKU
- V9783319090986
- ISBN
- 9783319090986
Paperback
Condition: New
€ 63.20
€ 63.20
Paperback. Editor(s): Aichernig, Bernhard K.; Furia, Carlo A. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 51 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319411347
- ISBN
- 9783319411347
Paperback
Condition: New
€ 63.26
€ 63.26
Testing: Academic and Industrial Conference - Practice and Research Te...
. Ed(S): Bottaci, Leonardo; Fraser, Gordon
paperback. Constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, that was held in Windsor, UK, in September 2010. Editor(s): Bottaci, Leonardo; Fraser, Gordon. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 82 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642155840
- ISBN
- 9783642155840
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642143342
- ISBN
- 9783642143342
Paperback
Condition: New
€ 65.44
€ 65.44
Paperback. Constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. Editor(s): Wolff, Burkhart; Zaidi, Fatiha. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 226
- Condition
- New
- SKU
- V9783642245794
- ISBN
- 9783642245794
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. Editor(s): Petrenko, Alexandre; Simao, Adenilso; Maldonado, Jose Carlos. Series: Lecture Notes in Computer Science. Num Pages: 267 pages, 76 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 181 x 236 x 16. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642165726
- ISBN
- 9783642165726
Paperback
Condition: New
€ 65.06
€ 65.06
Paperback. Editor(s): Merayo, Mercedes G.; Montes de Oca, Edgardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 225 pages, 63 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783662448564
- ISBN
- 9783662448564
Paperback
Condition: New
€ 63.16
€ 63.16
Paperback. Editor(s): Yenigun, Husnu; Yilmaz, Cemal; Ulrich, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 305 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783642417061
- ISBN
- 9783642417061
Paperback
Condition: New
€ 64.02
€ 64.02
Paperback. Editor(s): Nielsen, Brian; Weise, Carsten. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 273 pages, 97 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642346903
- ISBN
- 9783642346903
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Editor(s): El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina. Series: Lecture Notes in Computer Science. Num Pages: 283 pages, 69 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 283
- Condition
- New
- SKU
- V9783319259444
- ISBN
- 9783319259444
Paperback
Condition: New
€ 63.83
€ 63.83
Paperback. Editor(s): Wotawa, Franz; Nica, Mihai. Series: Lecture Notes in Computer Science. Num Pages: 275 pages, 62 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 275
- Condition
- New
- SKU
- V9783319474427
- ISBN
- 9783319474427
Paperback
Condition: New
€ 63.61
€ 63.61
Paperback. Fundamental testing methodologies applied to the popular Python language Testing Python; Applying Unit Testing, TDD, BDD and Acceptance Testing is the most comprehensive book available on testing for one of the top software programming languages in the world. Num Pages: 240 pages. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 190 x 237 x 11. Weight in Grams: 416.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118901229
- ISBN
- 9781118901229
Paperback
Condition: New
€ 33.00€ 26.55
€ 33.00
€ 26.55
Paperback. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 259 pages, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642050305
- ISBN
- 9783642050305
Paperback
Condition: New
€ 63.78
€ 63.78
Paperback. Constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, biography. BIC Classification: TJK; UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540685142
- ISBN
- 9783540685142
Paperback
Condition: New
€ 64.57
€ 64.57