Computer programming / software development
Results 3001 - 3024 of 8712
Computer programming / software development
Paperback. Presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. This book includes sections on programming language analysis, verification, real-time and concurrency, grand challenge problems, fm practice, runtime monitoring and analysis, and constraint analysis, and design. Series: Lecture Notes in Computer Science. Num Pages: 449 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 449
- Condition
- New
- SKU
- V9783540682356
- ISBN
- 9783540682356
Paperback
Condition: New
€ 65.81
€ 65.81
paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 837 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 42. Weight in Grams: 1264.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 837
- Condition
- New
- SKU
- V9783642050886
- ISBN
- 9783642050886
Paperback
Condition: New
€ 127.46
€ 127.46
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Editor(s): Giannakopoulou, Dimitra; Mery, Dominique. Series: Lecture Notes in Computer Science. Num Pages: 504 pages, 142 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783642327582
- ISBN
- 9783642327582
Paperback
Condition: New
€ 66.26
€ 66.26
Paperback. Editor(s): Jones, Cliff; Pihlajasaari, Pekka; Sun, Jun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 768 pages, 185 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 39. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 768
- Condition
- New
- SKU
- V9783319064093
- ISBN
- 9783319064093
Paperback
Condition: New
€ 126.44
€ 126.44
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
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. 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
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. 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. 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. 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. "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. This book will assist DBAs with forecasting future performance of new and existing database systems. It shows how to create a model of a database system. Different types of models are introduced: mathematical, simulation, and benchmark. Num Pages: 292 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 235 x 191 x 16. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 292
- Condition
- New
- SKU
- V9781430211853
- ISBN
- 9781430211853
Paperback
Condition: New
€ 59.57
€ 59.57
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. 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
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. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: THR; TJFC; UGC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 232
- Condition
- New
- SKU
- V9781461361930
- ISBN
- 9781461361930
Paperback
Condition: New
€ 185.48
€ 185.48
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. 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
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. 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
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. 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