Computer programming / software development
Results 3073 - 3096 of 8712
Computer programming / software development
Paperback. Constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. Editor(s): Salaun, Gwen; Schatz, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 271 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642244308
- ISBN
- 9783642244308
Paperback
Condition: New
€ 64.05
€ 64.05
Paperback. Editor(s): Stoelinga, Marielle; Pinger, Ralf. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 237 pages, 87 black & white illustrations, biography. BIC Classification: JPP; UMZ; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642324680
- ISBN
- 9783642324680
Paperback
Condition: New
€ 58.98
€ 58.98
Paperback. Editor(s): Dierkes, Michael; Pecheur, Charles. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 213 pages, 46 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642410093
- ISBN
- 9783642410093
Paperback
Condition: New
€ 58.70
€ 58.70
Paperback. Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Editor(s): Kowalewski, Stefan; Roveri, Marco. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642158971
- ISBN
- 9783642158971
Paperback
Condition: New
€ 64.86
€ 64.86
Formal Methods for Multicore Programming: 15th International School on...
. Ed(S): Bernardo, Marco; Johnsen, Einar Broc...
paperback. Editor(s): Bernardo, Marco; Johnsen, Einar Broch. Series: Lecture Notes in Computer Science. Num Pages: 211 pages, 72 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 2015th Edition
- Number of pages
- 211
- Condition
- New
- SKU
- V9783319189406
- ISBN
- 9783319189406
Paperback
Condition: New
€ 63.11
€ 63.11
Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 482
- Condition
- New
- SKU
- V9780412820403
- ISBN
- 9780412820403
Hardback
Condition: New
€ 256.93
€ 256.93
Paperback. Constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. Series: Lecture Notes in Computer Science. Num Pages: 269 pages, biography. BIC Classification: UKN; UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783540688624
- ISBN
- 9783540688624
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 327 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783540729198
- ISBN
- 9783540729198
Paperback
Condition: New
€ 64.69
€ 64.69
Formal Methods for Safety and Security: Case Studies for Aerospace App...
. Ed(S): Nanda, Manju; Jeppu, Yogananda
hardcover. Editor(s): Nanda, Manju; Jeppu, Yogananda. Num Pages: 112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography. BIC Classification: PBKQ; TGPR; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Singapore
- Edition
- 1st ed. 2018
- Number of pages
- 112
- Condition
- New
- SKU
- V9789811041204
- ISBN
- 9789811041204
Hardback
Condition: New
€ 133.56
€ 133.56
Formal Methods for the Quantitative Evaluation of Collective Adaptive ...
. Ed(S): Bernardo, Marco; de Nicola, Rocco; H...
Paperback. Editor(s): Bernardo, Marco; De Nicola, Rocco; Hillston, Jane. Series: Lecture Notes in Computer Science. Num Pages: 268 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 268
- Condition
- New
- SKU
- V9783319340951
- ISBN
- 9783319340951
Paperback
Condition: New
€ 63.57
€ 63.57
Formal Methods in Databases and Software Engineering
. Ed(S): Alagar, V. S.; Lakshmanan, Laks V. S...
Paperback. This volume outlines the proceedings of a workshop which aimed to foster interdisciplinary research between software engineers and database designers. Topics discussed include object-oriented VDM, proof management, temporal databases, concept learning and knowledge-based systems. Editor(s): Alagar, V. S.; Lakshmanan, Laks V. S.; etc.; Sadri, Fereidoon. Series: Workshops in Computing. Num Pages: 193 pages, biography. BIC Classification: UMN; UMZ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 193
- Condition
- New
- SKU
- V9783540198123
- ISBN
- 9783540198123
Paperback
Condition: New
€ 63.07
€ 63.07
Paperback. Editor(s): Fages, Francois; Piazza, Carla. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 209 pages, 46 black & white illustrations, biography. BIC Classification: PSA; UBH; UM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783319103976
- ISBN
- 9783319103976
Paperback
Condition: New
€ 63.03
€ 63.03
Paperback. Identifies issues which relate to the introduction of formal methods into the development and expression of standards used in computer systems and software. The book offers guidelines on the use of formal methods for those working in different standards areas. Editor(s): Ruggles, Clive L. N. Num Pages: 135 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 8. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 135
- Condition
- New
- SKU
- V9783540195771
- ISBN
- 9783540195771
Paperback
Condition: New
€ 62.87
€ 62.87
Paperback. Editor(s): Ribeiro, Leila; Lecomte, Thierry. Series: Lecture Notes in Computer Science. Num Pages: 253 pages, 62 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 253
- Condition
- New
- SKU
- V9783319498140
- ISBN
- 9783319498140
Paperback
Condition: New
€ 63.77
€ 63.77
Paperback. Editor(s): Braga, Christiano; Marti-Oliet, Narciso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 188 pages, 39 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 188
- Condition
- New
- SKU
- V9783319150741
- ISBN
- 9783319150741
Paperback
Condition: New
€ 52.34
€ 52.34
Paperback. Editor(s): Roscoe, Bill; Cornelio, Marcio. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 62 colour illustrations, biography. BIC Classification: UM; UMX; UMZ; UYA; UYZM. 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
- V9783319294728
- ISBN
- 9783319294728
Paperback
Condition: New
€ 52.54
€ 52.54
Paperback. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642104510
- ISBN
- 9783642104510
Paperback
Condition: New
€ 64.55
€ 64.55
Paperback. Editor(s): Simao, Adenilso; Morgan, Carroll. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 215 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 215
- Condition
- New
- SKU
- V9783642250316
- ISBN
- 9783642250316
Paperback
Condition: New
€ 78.81
€ 78.81
Paperback. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. Editor(s): Gheyi, Rohit; Naumann, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 237 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642332951
- ISBN
- 9783642332951
Paperback
Condition: New
€ 82.30
€ 82.30
Formal Methods: State of the Art and New Directions
. Ed(S): Boca, Paul P.; Bowen, Jonathan P.; S...
Paperback. 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: 298 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 298
- Condition
- New
- SKU
- V9781447157458
- ISBN
- 9781447157458
Paperback
Condition: New
€ 122.39
€ 122.39
Paperback. This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international renown among computer scientists, on her 70th birthday. Includes papers on such topics as actors and programming languages; cyberphysical systems and more. Editor(s): Agha, Gul; Danvy, Olivier; Meseguer, Jose. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 467 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642249327
- ISBN
- 9783642249327
Paperback
Condition: New
€ 65.40
€ 65.40
Paperback. Editor(s): Legay, Axel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 74 black & white illustrations, biography. BIC Classification: UB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 263
- Condition
- New
- SKU
- V9783319105116
- ISBN
- 9783319105116
Paperback
Condition: New
€ 63.66
€ 63.66
Paperback. Editor(s): Sankaranarayanan, Sriram; Vicario, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 90 black & white illustrations, biography. BIC Classification: UB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319229744
- ISBN
- 9783319229744
Paperback
Condition: New
€ 63.86
€ 63.86
Paperback. Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 305 pages, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540857778
- ISBN
- 9783540857778
Paperback
Condition: New
€ 64.07
€ 64.07