Computer programming / software development
Results 2741 - 2760 of 7771
Computer programming / software development
Paperback. Editor(s): Domenach, Florent; Ignatov, Dmitry I.; Poelmans, Jonas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 321 pages, 75 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783642298912
- ISBN
- 9783642298912
Paperback
Condition: New
€ 64.51
€ 64.51
Hardback. This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs. Series: IFIP State-of-the-Art Reports. Num Pages: 508 pages, 33 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 28. Weight in Grams: 1119.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 508
- Condition
- New
- SKU
- V9783540539612
- ISBN
- 9783540539612
Hardback
Condition: New
€ 125.97
€ 125.97
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 247 pages, biography. BIC Classification: THR; TJFC; UGC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 247
- Condition
- New
- SKU
- V9781461376064
- ISBN
- 9781461376064
Paperback
Condition: New
€ 215.68
€ 215.68
hardcover. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540209072
- ISBN
- 9783540209072
Hardback
Condition: New
€ 241.35
€ 241.35
paperback. This comprehensive book covers the fundamental concepts of formal languages and compilation. It presents the subject in a minimalist way, using illustrated examples throughout and providing pedagogical tools, such as slides for lecturers via website. Series: Texts in Computer Science. Num Pages: 380 pages, black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 529.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United Kingdom
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 380
- Condition
- New
- SKU
- V9781849968171
- ISBN
- 9781849968171
Paperback
Condition: New
€ 90.99
€ 90.99
Hardback. Series: ISTE. Num Pages: 338 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 158 x 24. Weight in Grams: 644.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 338
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848216150
- ISBN
- 9781848216150
Hardback
Condition: New
€ 178.86
€ 178.86
Hardback. Num Pages: 246 pages, black & white illustrations. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 158 x 20. Weight in Grams: 572.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 246
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848217881
- ISBN
- 9781848217881
Hardback
Condition: New
€ 179.01
€ 179.01
Hardback. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. Editor(s): Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I. Num Pages: 273 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 14. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 273
- Condition
- New
- SKU
- V9781848827356
- ISBN
- 9781848827356
Hardback
Condition: New
€ 128.04
€ 128.04
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, that was held in Natal, Brazil, in November 2010. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems. Editor(s): Davies, Jim; Silva, Leila; Simao, Adenilso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 299 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642198281
- ISBN
- 9783642198281
Paperback
Condition: New
€ 63.93
€ 63.93
Paperback. Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 558
- Condition
- New
- SKU
- V9783540752202
- ISBN
- 9783540752202
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed. Editor(s): Goldsack, Stephen J.; Kent, Stuart J. H. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 368 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540199779
- ISBN
- 9783540199779
Paperback
Condition: New
€ 122.65
€ 122.65
Paperback. Editor(s): Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: GBC; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540151999
- ISBN
- 9783540151999
Paperback
Condition: New
€ 86.04
€ 86.04
Paperback. Editor(s): Merz, Stephan; Pang, Jun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 478 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 478
- Condition
- New
- SKU
- V9783319117362
- ISBN
- 9783319117362
Paperback
Condition: New
€ 65.64
€ 65.64
Paperback. Editor(s): Butler, Michael; Conchon, Sylvain; Zaidi, Fatiha. Series: Lecture Notes in Computer Science. Num Pages: 461 pages, 150 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 461
- Condition
- New
- SKU
- V9783319254227
- ISBN
- 9783319254227
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 500 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 500
- Condition
- New
- SKU
- V9783540238416
- ISBN
- 9783540238416
Paperback
Condition: New
€ 129.53
€ 129.53
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more. Editor(s): Branach, Richard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 502 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 502
- Condition
- New
- SKU
- V9783540297970
- ISBN
- 9783540297970
Paperback
Condition: New
€ 71.42
€ 71.42
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. This book features the papers addressing issues in formal methods and their applications in software engineering. Series: Lecture Notes in Computer Science. Num Pages: 804 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1095.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540474609
- ISBN
- 9783540474609
Paperback
Condition: New
€ 125.99
€ 125.99
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. This book includes papers that are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540766483
- ISBN
- 9783540766483
Paperback
Condition: New
€ 64.90
€ 64.90
Formal Methods and Software Engineering: 12th International Conference...
. Ed(S): Dong, Jin Song; Zhu, Huibiao
paperback. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 712
- Condition
- New
- SKU
- V9783642169007
- ISBN
- 9783642169007
Paperback
Condition: New
€ 128.13
€ 128.13
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319478456
- ISBN
- 9783319478456
Paperback
Condition: New
€ 71.10€ 26.65
€ 71.10
€ 26.65