Computer programming / software development
Results 3049 - 3072 of 8712
Computer programming / software development
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
Formal Methods and Software Engineering: 4th International Conference ...
. Ed(S): George, Chris; Miao, Huaikou
paperback. These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. Editor(s): George, Chris; Miao, Huaikou. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 33. Weight in Grams: 895.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Germany
- Edition
- 2002nd Edition
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540000297
- ISBN
- 9783540000297
Paperback
Condition: New
€ 131.28
€ 131.28
Paperback. This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing. Series: Lecture Notes in Computer Science. Num Pages: 370 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2008
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540789161
- ISBN
- 9783540789161
Paperback
Condition: New
€ 64.89
€ 64.89
Formal Methods Applied to Complex Systems: Implementation of the B Met...
Jean-Louis Boulanger (Ed.)
Hardback. Editor(s): Boulanger, Jean-Louis. Num Pages: 496 pages, illustrations (black and white). BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 32. Weight in Grams: 884.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 496
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848217096
- ISBN
- 9781848217096
Hardback
Condition: New
€ 222.80
€ 222.80
Paperback. This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. Series: Lecture Notes in Computer Science. Num Pages: 458 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 19. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 458
- Condition
- New
- SKU
- V9783540205272
- ISBN
- 9783540205272
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Presents tutorial lectures given by speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in The Netherlands, in November 2004. These lectures present an account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Graf, Susanne; de Roever, Willem-Paul. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 336 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 475.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540291312
- ISBN
- 9783540291312
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 308 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540747918
- ISBN
- 9783540747918
Paperback
Condition: New
€ 64.02
€ 64.02
Paperback. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This title presents 12 revised papers submitted after the symposium by the speakers of various European IST projects. Editor(s): de Roever, Willem-Paul. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 323 pages, biography. BIC Classification: UL; 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
- 323
- Condition
- New
- SKU
- V9783540921875
- ISBN
- 9783540921875
Paperback
Condition: New
€ 64.19
€ 64.19
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 299 pages, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642041662
- ISBN
- 9783642041662
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. Editor(s): Beckert, Bernhard; Damiani, Ferruccio; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 129 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783642358869
- ISBN
- 9783642358869
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Editor(s): Hahnle, Reiner; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 241 pages, 125 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642406140
- ISBN
- 9783642406140
Paperback
Condition: New
€ 58.10
€ 58.10
Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642170706
- ISBN
- 9783642170706
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers. Editor(s): Aichernig, Bernhard K.; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 393 pages, 145 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642252709
- ISBN
- 9783642252709
Paperback
Condition: New
€ 66.33
€ 66.33
Paperback. Editor(s): Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 537 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 537
- Condition
- New
- SKU
- V9783540688921
- ISBN
- 9783540688921
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. This book offers lectures from the 2013 International School on Formal Methods for Design of Computer, Communication & Software Systems on chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, automata-based models and more. Editor(s): Bernardo, Marco; Vink, Erik de; Pierro, Alessandra di; Wiklicky, Herbert. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 181 pages, 49 black & white illustrations, biography. BIC Classification: UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 181
- Condition
- New
- SKU
- V9783642388736
- ISBN
- 9783642388736
Paperback
Condition: New
€ 58.98
€ 58.98
Paperback. Editor(s): Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 343 pages, 101 black & white illustrations, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 343
- Condition
- New
- SKU
- V9783319073163
- ISBN
- 9783319073163
Paperback
Condition: New
€ 64.26
€ 64.26
Paperback. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540619291
- ISBN
- 9783540619291
Paperback
Condition: New
€ 123.68
€ 123.68
Paperback. Editor(s): Flammini, Francesco. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 215 pages, 84 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319107011
- ISBN
- 9783319107011
Paperback
Condition: New
€ 63.26
€ 63.26
Paperback. Editor(s): Nunez, Manuel; Gudemann, Matthias. Series: Lecture Notes in Computer Science. Num Pages: 229 pages, 61 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 229
- Condition
- New
- SKU
- V9783319194578
- ISBN
- 9783319194578
Paperback
Condition: New
€ 63.40
€ 63.40
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 243 pages, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 243
- Condition
- New
- SKU
- V9783642032394
- ISBN
- 9783642032394
Paperback
Condition: New
€ 64.18
€ 64.18
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 223 pages, biography. BIC Classification: UMX; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 223
- Condition
- New
- SKU
- V9783642045691
- ISBN
- 9783642045691
Paperback
Condition: New
€ 64.18
€ 64.18