Computer programming / software development
Results 4161 - 4180 of 6462
Computer programming / software development
Formal Aspects of Component Software: 12th International Conference, F...
. Ed(S): Braga, Christiano; Olveczky, Peter C...
paperback. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319289335
- ISBN
- 9783319289335
Paperback
Condition: New
€ 64.34
€ 64.34
Paperback. Editor(s): Pasareanu, Corina S.; Salaun, Gwen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 287 pages, 72 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783642358609
- ISBN
- 9783642358609
Paperback
Condition: New
€ 81.80
€ 81.80
Paperback. Editor(s): Arbab, Farhad; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 369 pages, 131 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642357428
- ISBN
- 9783642357428
Paperback
Condition: New
€ 65.09
€ 65.09
Paperback. Constitutes selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. Editor(s): Barbosa, Luis Soares; Lumpe, Markus. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 315 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 315
- Condition
- New
- SKU
- V9783642272684
- ISBN
- 9783642272684
Paperback
Condition: New
€ 64.45
€ 64.45
Paperback. Editor(s): Lanese, Ivan; Madelaine, Eric. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, 132 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 395
- Condition
- New
- SKU
- V9783319153162
- ISBN
- 9783319153162
Paperback
Condition: New
€ 64.63
€ 64.63
Paperback. Editor(s): Fiadeiro, Jose Luiz; Liu, Zhiming; Xue, Jinyun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, 132 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 395
- Condition
- New
- SKU
- V9783319076010
- ISBN
- 9783319076010
Paperback
Condition: New
€ 64.81
€ 64.81
Formal Approaches to Software Testing and Runtime Verification
. Ed(S): Havelund, Klaus; Nunez, Manuel; Rosu...
Paperback. Constitutes the refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Editor(s): Havelund, Klaus; Nunez, Manuel; Rosu, Grigore; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 263 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783540496991
- ISBN
- 9783540496991
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. This book presents 13 revised full papers together with 1 work-in-progress paper. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 231 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783540344544
- ISBN
- 9783540344544
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents' mental states, synthesizing agents initially and modelling. Editor(s): Rash, James L.; Rouff, Christopher A.; Truszkowski, Walter; Gordon, Diana R.; Hinchey, Michael G. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 384 pages, biography. BIC Classification: UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540427162
- ISBN
- 9783540427162
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Assessing the state of the art in active research areas in theoretical computer science, this book presents research papers and survey articles written for Grzegorz Rozenberg's 60th birthday. Topics include basic decidability and the notion of information, graph grammars and graph transformations. Editor(s): Brauer, Wilfried; Ehrig, Hartmut; Karhumaki, Juhani; Salomaa, Arto K. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540431909
- ISBN
- 9783540431909
Paperback
Condition: New
€ 70.11
€ 70.11
Paperback. Num Pages: 372 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642058226
- ISBN
- 9783642058226
Paperback
Condition: New
€ 122.71
€ 122.71
Hardback. Introduces an analysis and design method customized to form-based enterprise applications, the predominant type of business application. This work explains their common properties and gives an introduction to the modeling of such systems. Num Pages: 372 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 22. Weight in Grams: 727.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540205937
- ISBN
- 9783540205937
Hardback
Condition: New
€ 129.03
€ 129.03
Paperback. "Forbidden Lego" deals with computers/software. Num Pages: 192 pages, illustrations. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 253 x 215 x 15. Weight in Grams: 718. Build the Models Your Parents Warned You Against!. 186 pages, illustrations. "Forbidden Lego" deals with computers/software. Cateogry: (G) General (US: Trade). BIC Classification: UMX. Dimension: 253 x 215 x 15. Weight: 706.
- Publisher
- No Starch Press
- Number of pages
- 186
- Format
- Paperback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781593271374
- ISBN
- 9781593271374
Paperback
Condition: New
€ 32.99€ 23.49
€ 32.99
€ 23.49
Paperback. The era of ASCII characters on green screens is long gone. Industry leaders such as Apple, HP, IBM, Microsoft, and Oracle have adopted the Unicode Worldwide Character Standard. This book explains information on fonts and typography that software and web developers need to know to get typography and fonts to work properly. Translator(s): Horne, P.Scott. Num Pages: 1016 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 178 x 232 x 51. Weight in Grams: 1654.
- Publisher
- O'Reilly Media, Inc, USA United States
- Number of pages
- 1016
- Format
- Paperback
- Publication date
- 2007
- Condition
- New
- SKU
- V9780596102425
- ISBN
- 9780596102425
Paperback
Condition: New
€ 60.29
€ 60.29
Paperback. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540631767
- ISBN
- 9783540631767
Paperback
Condition: New
€ 48.54
€ 48.54
paperback. These conference proceedings address all relevant aspects of formal methods, from the point of view of the industrial R&D professional, as well as from the academic viewpoint. They also document progress in the use of formal methods for the solution of real-world problems. Editor(s): Gaudel, M-.C.; Woodcock, J. C. P. Series: Lecture Notes in Computer Science. Num Pages: 711 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1996th Edition
- Number of pages
- 711
- Condition
- New
- SKU
- V9783540609735
- ISBN
- 9783540609735
Paperback
Condition: New
€ 132.81
€ 132.81
Paperback. These are the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. Editor(s): Eriksson, Lars-Henrik; Lindsay, Peter Alexander. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 32. Weight in Grams: 1960.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540439288
- ISBN
- 9783540439288
Paperback
Condition: New
€ 137.10
€ 137.10
Paperback. Focusing on increasing software productivity, all current aspects in formal methods are covered in this volume of selected papers. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications. Editor(s): Oliveira, Jose N.; Zave, Pamela. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 33. Weight in Grams: 895.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540417910
- ISBN
- 9783540417910
Paperback
Condition: New
€ 125.77
€ 125.77
FME '93: Industrial-Strength Formal Methods: First International Sympo...
. Ed(S): Woodcock, J. C. P.; Larsen, Peter Go...
paperback. The symposium upon which this text is based focuses on the application of industrial-strength formal methods. The papers address the difficulties of scaling techniques up to industrial-sized problems, and their suitability in the workplace. Editor(s): Woodcock, J. C. P.; Larsen, Peter Gorm. Series: Lecture Notes in Computer Science. Num Pages: 695 pages, biography. BIC Classification: UFC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 36. Weight in Grams: 2170.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Germany
- Edition
- 1993rd Edition
- Number of pages
- 695
- Condition
- New
- SKU
- V9783540566625
- ISBN
- 9783540566625
Paperback
Condition: New
€ 138.46
€ 138.46
Paperback. Editor(s): Bjorner, Nikolaj; Boer, Frank de. Series: Lecture Notes in Computer Science. Num Pages: 626 pages, 156 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 626
- Condition
- New
- SKU
- V9783319192482
- ISBN
- 9783319192482
Paperback
Condition: New
€ 66.61
€ 66.61