×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!