.png){kind=logo}
Computer programming / software development
Results 7513 - 7536 of 8431
Computer programming / software development
Hardback. Offers a presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. This book is suitable for lecturers, graduate students and researchers. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 436 pages, 34 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540674016
- ISBN
- 9783540674016
Hardback
Condition: New
€ 102.70
€ 102.70
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 436 pages, 34 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642086809
- ISBN
- 9783642086809
Paperback
Condition: New
€ 107.12
€ 107.12
Paperback. Editor(s): Banieqbal, Behnam; Barringer, H.; Pnueli, Amir. Series: Lecture Notes in Computer Science. Num Pages: 452 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540518037
- ISBN
- 9783540518037
Paperback
Condition: New
€ 73.29
€ 73.29
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. This book covers topics that include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, and more. Editor(s): Pfenning, Frank. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 432 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 432
- Condition
- New
- SKU
- V9783540368342
- ISBN
- 9783540368342
Paperback
Condition: New
€ 72.80
€ 72.80
Paperback. Covers the proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on Typed Lambda Calculi and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 434 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783540734475
- ISBN
- 9783540734475
Paperback
Condition: New
€ 68.33
€ 68.33
Paperback. Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples. Series: Lecture Notes in Computer Science. Num Pages: 150 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 8. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540528371
- ISBN
- 9783540528371
Paperback
Condition: New
€ 67.31
€ 67.31
Paperback. This book surveys the state-of-the-art of terrorism informatics. It emphasizes the cutting-edge concepts, technologies, and practices that are being developed in terrorism informatics to meet today's worldwide challenges. Editor(s): Chen, Hsinchun; Reid, Edna; Silke, Andrew; Ganor, Boaz. Series: Integrated Series in Information Systems. Num Pages: 558 pages. BIC Classification: JPA; KJQ; UF; UMB; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 31. Weight in Grams: 914.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 558
- Condition
- New
- SKU
- V9781489998149
- ISBN
- 9781489998149
Paperback
Condition: New
€ 141.91
€ 141.91
Paperback. Another day without Test-Driven Development means more time wasted chasing bugs and watching your code deteriorate. You thought TDD was for someone else, but it's not! It's for you, the embedded C programmer. TDD helps you prevent defects and build software with a long useful life. Num Pages: 310 pages, illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 228 x 191 x 19. Weight in Grams: 636.
- Publisher
- The Pragmatic Programmers United States
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781934356623
- ISBN
- 9781934356623
Paperback
Condition: New
€ 37.99€ 27.23
€ 37.99
€ 27.23
Paperback. Num Pages: 288 pages, 19 black & white illustrations, 87 colour illustrations, biography. BIC Classification: UM; UMZ. Category: (P) Professional & Vocational. Dimension: 254 x 178. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- APress United States
- Number of pages
- 288
- Condition
- New
- SKU
- V9781484226377
- ISBN
- 9781484226377
Paperback
Condition: New
€ 67.57
€ 67.57
Paperback. Follows two TDD projects from start to finish, illustrating techniques programmers can use to increase the quality of their work. The examples are followed by references to the featured TDD patterns and refactorings. This book emphasises on agile methods and fast development strategies. Num Pages: 240 pages, Illustrations. BIC Classification: UMZ. Category: (U) Tertiary Education (US: College). Dimension: 233 x 187 x 13. Weight in Grams: 428.
- Publisher
- Pearson Education (US) United States
- Number of pages
- 240
- Format
- Paperback
- Publication date
- 2002
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780321146533
- ISBN
- 9780321146533
Paperback
Condition: New
€ 48.99€ 41.45
€ 48.99
€ 41.45
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 214 pages, 12 black & white illustrations. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 214
- Condition
- New
- SKU
- V9783540518242
- ISBN
- 9783540518242
Paperback
Condition: New
€ 83.26
€ 83.26
Hardback. This book offers an in-depth evaluation of agile methods. It proves the benefits of agile software development, provides in-depth insights into experimental methods in the context of agile development and details various validity threats in empirical studies. Num Pages: 245 pages, 92 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 245
- Condition
- New
- SKU
- V9783642042874
- ISBN
- 9783642042874
Hardback
Condition: New
€ 72.02
€ 72.02
Paperback. This book offers an in-depth evaluation of agile methods. It proves the benefits of agile software development, provides in-depth insights into experimental methods in the context of agile development and details various validity threats in empirical studies. Num Pages: 265 pages, 92 black & white tables, biography. BIC Classification: UMZ; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642425264
- ISBN
- 9783642425264
Paperback
Condition: New
€ 72.46
€ 72.46
Paperback. By taking you through the development of a real web application from beginning to end, the updated second edition of this hands-on guide demonstrates the practical advantages of test-driven development (TDD) with Python. Num Pages: 430 pages. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781491958704
- ISBN
- 9781491958704
Paperback
Condition: New
€ 66.58€ 51.46
€ 66.58
€ 51.46
Paperback. Whether you use Node.js, Express, MongoDB, jQuery, AngularJS, or directly manipulate the DOM, you can test-drive JavaScript. Learn the craft of writing meaningful, deterministic automated tests with Karma, Mocha, and Chai. Num Pages: 200 pages, black & white illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 239 x 191 x 24. Weight in Grams: 682.
- Publisher
- Pragmatic Bookshelf
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781680501742
- ISBN
- 9781680501742
Paperback
Condition: New
€ 41.99€ 39.60
€ 41.99
€ 39.60
Paperback. That's right: JavaScript code is testable, despite the lack of unit test standards for this language. With this book, you'll discover how to devise excellent tests and real-world testing plans for your existing JavaScript code. Developers starting out on a new project will greatly benefit from these guidelines. Num Pages: 274 pages, Illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 233 x 178 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- O´Reilly Media United States
- Edition
- 1st Edition
- Number of pages
- 274
- Condition
- New
- SKU
- V9781449323394
- ISBN
- 9781449323394
Paperback
Condition: New
€ 37.99€ 36.50
€ 37.99
€ 36.50
Testbeds and Research Infrastructure: Development of Networks and Comm...
. Ed(S): Korakis, Thanasis; Li, Hongbin; Tran...
Paperback. Constitutes the proceedings of the 7th International ICST Conference, TridentCom 2011, held in Shanghai, China, in April 2011. This title focuses on topics such as future Internet testbeds, future wireless testbeds, federated and large scale testbeds, network and resource virtualization, and more. Editor(s): Korakis, Thanasis; Li, Hongbin; Tran-Gia, Phuoc (Universitat Wurzburg); Park, Hong-Shik. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 331 pages, 169 black & white illustrations, biography. BIC Classification: UGK; UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 331
- Condition
- New
- SKU
- V9783642292729
- ISBN
- 9783642292729
Paperback
Condition: New
€ 67.33
€ 67.33
Testbeds and Research Infrastructure: Development of Networks and Comm...
. Ed(S): Korakis, Thanasis; Zink, Michael; Ot...
Paperback. Editor(s): Korakis, Thanasis; Zink, Michael; Ott, Maximilian. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 445 pages, 224 black & white illustrations, biography. BIC Classification: UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 445
- Condition
- New
- SKU
- V9783642355752
- ISBN
- 9783642355752
Paperback
Condition: New
€ 68.44
€ 68.44
Paperback / so. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 10. Weight in Grams: 304.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Vieweg+teubner Verlag United States
- Condition
- New
- SKU
- V9783834818669
- ISBN
- 9783834818669
Paperback
Condition: New
€ 55.91
€ 55.91
Paperback. Editor(s): Liggesmeyer, Peter; Sneed, Harry M.; Spillner, Andreas. Series: Informatik Aktuell. Num Pages: 186 pages, 58 black & white illustrations, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540558606
- ISBN
- 9783540558606
Paperback
Condition: New
€ 71.73
€ 71.73
Hardback. This book provides a detailed reference for Logica's industry-leading TestFrame(R) methodology, which enables organizations to develop and execute their tests in a structured way. It offers much hands-on advice and documentation templates. Num Pages: 184 pages, biography. BIC Classification: KJMV6; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 465.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 184
- Condition
- New
- SKU
- V9783642008214
- ISBN
- 9783642008214
Hardback
Condition: New
€ 67.04
€ 67.04
Paperback. This book provides a detailed reference for Logica's industry-leading TestFrame(R) methodology, which enables organizations to develop and execute their tests in a structured way. It offers much hands-on advice and documentation templates. Num Pages: 184 pages, biography. BIC Classification: KJMV6; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 184
- Condition
- New
- SKU
- V9783642101588
- ISBN
- 9783642101588
Paperback
Condition: New
€ 66.95
€ 66.95
Hardcover. This book explains in clear language how you can make testing result-driven. It explains why testing is important and describes all of the activities involved in testing. It is enriched with recognizable examples, practical tips and useful checklists. Num Pages: 397 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 168 x 244 x 28. Weight in Grams: 844.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540788287
- ISBN
- 9783540788287
Hardback
Condition: New
€ 69.22
€ 69.22
Paperback. This book explains in clear language how you can make testing result-driven. It explains why testing is important and describes all of the activities involved in testing. It is enriched with recognizable examples, practical tips and useful checklists. Num Pages: 397 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 232 x 156 x 24. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 397
- Condition
- New
- SKU
- V9783642097645
- ISBN
- 9783642097645
Paperback
Condition: New
€ 73.73
€ 73.73